Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Compilers

Contents

Orphan instances

Documentation

Orphan instances

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