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

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Abstract

Contents

Documentation

Orphan instances

EmbPrj Access # 

Methods

icode :: Access -> S Int32 #

icod_ :: Access -> S Int32 #

value :: Int32 -> R Access #

EmbPrj Precedence # 
EmbPrj AbstractModule # 
EmbPrj AbstractName # 
EmbPrj WhyInScope # 
EmbPrj KindOfName # 
EmbPrj NameSpace # 
EmbPrj LocalVar # 
EmbPrj ScopeInfo # 
EmbPrj NameSpaceId # 
EmbPrj Scope # 

Methods

icode :: Scope -> S Int32 #

icod_ :: Scope -> S Int32 #

value :: Int32 -> R Scope #

EmbPrj ConPatInfo # 
EmbPrj a => EmbPrj (Pattern' a) # 

Methods

icode :: Pattern' a -> S Int32 #

icod_ :: Pattern' a -> S Int32 #

value :: Int32 -> R (Pattern' a) #