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

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Abstract

Contents

Orphan instances

EmbPrj Access # 
Instance details

Methods

icode :: Access -> S Int32 #

icod_ :: Access -> S Int32 #

value :: Int32 -> R Access #

EmbPrj Precedence # 
Instance details

Methods

icode :: Precedence -> S Int32 #

icod_ :: Precedence -> S Int32 #

value :: Int32 -> R Precedence #

EmbPrj ParenPreference # 
Instance details

Methods

icode :: ParenPreference -> S Int32 #

icod_ :: ParenPreference -> S Int32 #

value :: Int32 -> R ParenPreference #

EmbPrj AbstractModule # 
Instance details

Methods

icode :: AbstractModule -> S Int32 #

icod_ :: AbstractModule -> S Int32 #

value :: Int32 -> R AbstractModule #

EmbPrj AbstractName # 
Instance details

Methods

icode :: AbstractName -> S Int32 #

icod_ :: AbstractName -> S Int32 #

value :: Int32 -> R AbstractName #

EmbPrj WhyInScope # 
Instance details

Methods

icode :: WhyInScope -> S Int32 #

icod_ :: WhyInScope -> S Int32 #

value :: Int32 -> R WhyInScope #

EmbPrj KindOfName # 
Instance details

Methods

icode :: KindOfName -> S Int32 #

icod_ :: KindOfName -> S Int32 #

value :: Int32 -> R KindOfName #

EmbPrj NameSpace # 
Instance details

Methods

icode :: NameSpace -> S Int32 #

icod_ :: NameSpace -> S Int32 #

value :: Int32 -> R NameSpace #

EmbPrj LocalVar # 
Instance details

Methods

icode :: LocalVar -> S Int32 #

icod_ :: LocalVar -> S Int32 #

value :: Int32 -> R LocalVar #

EmbPrj Binder # 
Instance details

Methods

icode :: Binder -> S Int32 #

icod_ :: Binder -> S Int32 #

value :: Int32 -> R Binder #

EmbPrj ScopeInfo # 
Instance details

Methods

icode :: ScopeInfo -> S Int32 #

icod_ :: ScopeInfo -> S Int32 #

value :: Int32 -> R ScopeInfo #

EmbPrj NameSpaceId # 
Instance details

Methods

icode :: NameSpaceId -> S Int32 #

icod_ :: NameSpaceId -> S Int32 #

value :: Int32 -> R NameSpaceId #

EmbPrj Scope # 
Instance details

Methods

icode :: Scope -> S Int32 #

icod_ :: Scope -> S Int32 #

value :: Int32 -> R Scope #

EmbPrj ConPatInfo # 
Instance details

Methods

icode :: ConPatInfo -> S Int32 #

icod_ :: ConPatInfo -> S Int32 #

value :: Int32 -> R ConPatInfo #

EmbPrj BindName # 
Instance details

Methods

icode :: BindName -> S Int32 #

icod_ :: BindName -> S Int32 #

value :: Int32 -> R BindName #

EmbPrj a => EmbPrj (Pattern' a) # 
Instance details

Methods

icode :: Pattern' a -> S Int32 #

icod_ :: Pattern' a -> S Int32 #

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