Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances

Contents

Orphan instances

EmbPrj Interface Source #
Instance details Methods icode :: Interface -> S Word32 Source # icod_ :: Interface -> S Word32 Source # value :: Word32 -> R Interface Source #