| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.TypeChecking.Serialise.Instances.Compilers
Contents
Orphan instances
| EmbPrj CompilerPragma # | |
Methods icode :: CompilerPragma -> S Int32 # icod_ :: CompilerPragma -> S Int32 # value :: Int32 -> R CompilerPragma # | |
| EmbPrj ForeignCode # | |
Methods icode :: ForeignCode -> S Int32 # icod_ :: ForeignCode -> S Int32 # value :: Int32 -> R ForeignCode # | |