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

Safe HaskellNone
LanguageHaskell2010

Agda.TypeChecking.Serialise.Instances.Abstract

Contents

Orphan instances

EmbPrj Access Source # 
Instance details

Methods

icode :: Access -> S Int32 Source #

icod_ :: Access -> S Int32 Source #

value :: Int32 -> R Access Source #

EmbPrj Precedence Source # 
Instance details

Methods

icode :: Precedence -> S Int32 Source #

icod_ :: Precedence -> S Int32 Source #

value :: Int32 -> R Precedence Source #

EmbPrj ParenPreference Source # 
Instance details

Methods

icode :: ParenPreference -> S Int32 Source #

icod_ :: ParenPreference -> S Int32 Source #

value :: Int32 -> R ParenPreference Source #

EmbPrj AbstractModule Source # 
Instance details

Methods

icode :: AbstractModule -> S Int32 Source #

icod_ :: AbstractModule -> S Int32 Source #

value :: Int32 -> R AbstractModule Source #

EmbPrj AbstractName Source # 
Instance details

Methods

icode :: AbstractName -> S Int32 Source #

icod_ :: AbstractName -> S Int32 Source #

value :: Int32 -> R AbstractName Source #

EmbPrj WhyInScope Source # 
Instance details

Methods

icode :: WhyInScope -> S Int32 Source #

icod_ :: WhyInScope -> S Int32 Source #

value :: Int32 -> R WhyInScope Source #

EmbPrj KindOfName Source # 
Instance details

Methods

icode :: KindOfName -> S Int32 Source #

icod_ :: KindOfName -> S Int32 Source #

value :: Int32 -> R KindOfName Source #

EmbPrj NameSpace Source # 
Instance details

Methods

icode :: NameSpace -> S Int32 Source #

icod_ :: NameSpace -> S Int32 Source #

value :: Int32 -> R NameSpace Source #

EmbPrj LocalVar Source # 
Instance details

Methods

icode :: LocalVar -> S Int32 Source #

icod_ :: LocalVar -> S Int32 Source #

value :: Int32 -> R LocalVar Source #

EmbPrj Binder Source # 
Instance details

Methods

icode :: Binder -> S Int32 Source #

icod_ :: Binder -> S Int32 Source #

value :: Int32 -> R Binder Source #

EmbPrj ScopeInfo Source # 
Instance details

Methods

icode :: ScopeInfo -> S Int32 Source #

icod_ :: ScopeInfo -> S Int32 Source #

value :: Int32 -> R ScopeInfo Source #

EmbPrj NameSpaceId Source # 
Instance details

Methods

icode :: NameSpaceId -> S Int32 Source #

icod_ :: NameSpaceId -> S Int32 Source #

value :: Int32 -> R NameSpaceId Source #

EmbPrj Scope Source # 
Instance details

Methods

icode :: Scope -> S Int32 Source #

icod_ :: Scope -> S Int32 Source #

value :: Int32 -> R Scope Source #

EmbPrj ConPatInfo Source # 
Instance details

Methods

icode :: ConPatInfo -> S Int32 Source #

icod_ :: ConPatInfo -> S Int32 Source #

value :: Int32 -> R ConPatInfo Source #

EmbPrj BindName Source # 
Instance details

Methods

icode :: BindName -> S Int32 Source #

icod_ :: BindName -> S Int32 Source #

value :: Int32 -> R BindName Source #

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

Methods

icode :: Pattern' a -> S Int32 Source #

icod_ :: Pattern' a -> S Int32 Source #

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