Agda.Utils.Serialise
data
Printer
a
data
Parser
a
data
IFun
a b
class
BiMonad
m
bsToString
mapS
(>->)
sequenceS
replicateS
class
Serialisable
a
serialise
deserialise
deserialiseLazy