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

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Compilers

Contents

Documentation

Orphan instances

EmbPrj HsName # 

Methods

icode :: HsName -> S Int32 #

icod_ :: HsName -> S Int32 #

value :: Int32 -> R HsName #

EmbPrj CoreConstr # 
EmbPrj CoreType # 
EmbPrj MemberId # 
EmbPrj GlobalId # 
EmbPrj LocalId # 
EmbPrj Exp # 

Methods

icode :: Exp -> S Int32 #

icod_ :: Exp -> S Int32 #

value :: Int32 -> R Exp #

EmbPrj EInterface # 
EmbPrj InjectiveFun # 
EmbPrj 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 # 
EmbPrj CoreRepresentation # 
EmbPrj HaskellExport # 
EmbPrj HaskellRepresentation #