Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Serialise.Instances.Compilers

Contents

- Orphan instances

# Documentation

# Orphan instances

EmbPrj HsName # |
Methods icode :: HsName -> S Int32 # icod_ :: HsName -> S Int32 # value :: Int32 -> R HsName #
EmbPrj CoreConstr # |
Methods icode :: CoreConstr -> S Int32 # icod_ :: CoreConstr -> S Int32 # value :: Int32 -> R CoreConstr #
EmbPrj CoreType # |
Methods icode :: CoreType -> S Int32 # icod_ :: CoreType -> S Int32 # value :: Int32 -> R CoreType #
EmbPrj MemberId # |
Methods icode :: MemberId -> S Int32 # icod_ :: MemberId -> S Int32 # value :: Int32 -> R MemberId #
EmbPrj GlobalId # |
Methods icode :: GlobalId -> S Int32 # icod_ :: GlobalId -> S Int32 # value :: Int32 -> R GlobalId #
EmbPrj LocalId # |
Methods icode :: LocalId -> S Int32 # icod_ :: LocalId -> S Int32 # value :: Int32 -> R LocalId #
EmbPrj Exp # |
Methods icode :: Exp -> S Int32 # icod_ :: Exp -> S Int32 # value :: Int32 -> R Exp #
EmbPrj EInterface # |
Methods icode :: EInterface -> S Int32 # icod_ :: EInterface -> S Int32 # value :: Int32 -> R EInterface #
EmbPrj InjectiveFun # |
Methods icode :: InjectiveFun -> S Int32 # icod_ :: InjectiveFun -> S Int32 # value :: Int32 -> R InjectiveFun #
EmbPrj Relevance # |
Methods icode :: Relevance -> S Int32 # icod_ :: Relevance -> S Int32 # value :: Int32 -> R Relevance #
EmbPrj Forced # |
Methods icode :: Forced -> S Int32 # icod_ :: Forced -> S Int32 # value :: Int32 -> R Forced #
EmbPrj Tag # |
Methods icode :: Tag -> S Int32 # icod_ :: Tag -> S Int32 # value :: Int32 -> R Tag #
EmbPrj CompiledRepresentation # |
Methods icode :: CompiledRepresentation -> S Int32 # icod_ :: CompiledRepresentation -> S Int32 # value :: Int32 -> R CompiledRepresentation #
EmbPrj CoreRepresentation # |
Methods icode :: CoreRepresentation -> S Int32 # icod_ :: CoreRepresentation -> S Int32 # value :: Int32 -> R CoreRepresentation #
EmbPrj HaskellExport # |
Methods icode :: HaskellExport -> S Int32 # icod_ :: HaskellExport -> S Int32 # value :: Int32 -> R HaskellExport #
EmbPrj HaskellRepresentation # |
Methods icode :: HaskellRepresentation -> S Int32 # icod_ :: HaskellRepresentation -> S Int32 # value :: Int32 -> R HaskellRepresentation #