| Serialize Node Source # | |
Instance detailsDefined in Agda.TypeChecking.Serialise.Node |
| Serialize VarSet Source # | |
Instance detailsDefined in Agda.Utils.VarSet |
| Serialize Word16 Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Word32 Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Word64 Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Word8 Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Text Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Text Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Integer Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize () Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Char Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Double Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Int Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize Word Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| Serialize a => Serialize (Array a) Source # | |
Instance detailsDefined in Agda.Utils.MinimalArray.Lifted |
| Serialize a => Serialize [a] Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| (Serialize a, Serialize b) => Serialize (a, b) Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| (Serialize a, Serialize b, Serialize c) => Serialize (a, b, c) Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| (Serialize a, Serialize b, Serialize c, Serialize d) => Serialize (a, b, c, d) Source # | |
Instance detailsDefined in Agda.Utils.Serialize |
| (Serialize a, Serialize b, Serialize c, Serialize d, Serialize e) => Serialize (a, b, c, d, e) Source # | |
Instance detailsDefined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e) -> Int Source # put :: (a, b, c, d, e) -> Put Source # get :: Get (a, b, c, d, e) Source # |
| (Serialize a, Serialize b, Serialize c, Serialize d, Serialize e, Serialize f) => Serialize (a, b, c, d, e, f) Source # | |
Instance detailsDefined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e, f) -> Int Source # put :: (a, b, c, d, e, f) -> Put Source # get :: Get (a, b, c, d, e, f) Source # |
| (Serialize a, Serialize b, Serialize c, Serialize d, Serialize e, Serialize f, Serialize g) => Serialize (a, b, c, d, e, f, g) Source # | |
Instance detailsDefined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e, f, g) -> Int Source # put :: (a, b, c, d, e, f, g) -> Put Source # get :: Get (a, b, c, d, e, f, g) Source # |
| (Serialize a, Serialize b, Serialize c, Serialize d, Serialize e, Serialize f, Serialize g, Serialize h) => Serialize (a, b, c, d, e, f, g, h) Source # | |
Instance detailsDefined in Agda.Utils.Serialize Methods size :: (a, b, c, d, e, f, g, h) -> Int Source # put :: (a, b, c, d, e, f, g, h) -> Put Source # get :: Get (a, b, c, d, e, f, g, h) Source # |