Agda-2.5.4.1.20181027: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.Serialise.Instances.Abstract
Contents
Methods
icode :: Access -> S Int32 Source #
icod_ :: Access -> S Int32 Source #
value :: Int32 -> R Access Source #
icode :: Precedence -> S Int32 Source #
icod_ :: Precedence -> S Int32 Source #
value :: Int32 -> R Precedence Source #
icode :: ParenPreference -> S Int32 Source #
icod_ :: ParenPreference -> S Int32 Source #
value :: Int32 -> R ParenPreference Source #
icode :: AbstractModule -> S Int32 Source #
icod_ :: AbstractModule -> S Int32 Source #
value :: Int32 -> R AbstractModule Source #
icode :: AbstractName -> S Int32 Source #
icod_ :: AbstractName -> S Int32 Source #
value :: Int32 -> R AbstractName Source #
icode :: WhyInScope -> S Int32 Source #
icod_ :: WhyInScope -> S Int32 Source #
value :: Int32 -> R WhyInScope Source #
icode :: KindOfName -> S Int32 Source #
icod_ :: KindOfName -> S Int32 Source #
value :: Int32 -> R KindOfName Source #
icode :: NameSpace -> S Int32 Source #
icod_ :: NameSpace -> S Int32 Source #
value :: Int32 -> R NameSpace Source #
icode :: LocalVar -> S Int32 Source #
icod_ :: LocalVar -> S Int32 Source #
value :: Int32 -> R LocalVar Source #
icode :: Binder -> S Int32 Source #
icod_ :: Binder -> S Int32 Source #
value :: Int32 -> R Binder Source #
icode :: ScopeInfo -> S Int32 Source #
icod_ :: ScopeInfo -> S Int32 Source #
value :: Int32 -> R ScopeInfo Source #
icode :: NameSpaceId -> S Int32 Source #
icod_ :: NameSpaceId -> S Int32 Source #
value :: Int32 -> R NameSpaceId Source #
icode :: Scope -> S Int32 Source #
icod_ :: Scope -> S Int32 Source #
value :: Int32 -> R Scope Source #
icode :: ConPatInfo -> S Int32 Source #
icod_ :: ConPatInfo -> S Int32 Source #
value :: Int32 -> R ConPatInfo Source #
icode :: BindName -> S Int32 Source #
icod_ :: BindName -> S Int32 Source #
value :: Int32 -> R BindName Source #
icode :: Pattern' a -> S Int32 Source #
icod_ :: Pattern' a -> S Int32 Source #
value :: Int32 -> R (Pattern' a) Source #