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

Safe Haskell | None
Language | Haskell2010

Agda.TypeChecking.Serialise.Instances.Abstract

Contents

- Orphan instances

# Documentation

# Orphan instances

EmbPrj Access # |
Methods icode :: Access -> S Int32 # icod_ :: Access -> S Int32 # value :: Int32 -> R Access #
EmbPrj Precedence # |
Methods icode :: Precedence -> S Int32 # icod_ :: Precedence -> S Int32 # value :: Int32 -> R Precedence #
EmbPrj AbstractModule # |
Methods icode :: AbstractModule -> S Int32 # icod_ :: AbstractModule -> S Int32 # value :: Int32 -> R AbstractModule #
EmbPrj AbstractName # |
Methods icode :: AbstractName -> S Int32 # icod_ :: AbstractName -> S Int32 # value :: Int32 -> R AbstractName #
EmbPrj WhyInScope # |
Methods icode :: WhyInScope -> S Int32 # icod_ :: WhyInScope -> S Int32 # value :: Int32 -> R WhyInScope #
EmbPrj KindOfName # |
Methods icode :: KindOfName -> S Int32 # icod_ :: KindOfName -> S Int32 # value :: Int32 -> R KindOfName #
EmbPrj NameSpace # |
Methods icode :: NameSpace -> S Int32 # icod_ :: NameSpace -> S Int32 # value :: Int32 -> R NameSpace #
EmbPrj LocalVar # |
Methods icode :: LocalVar -> S Int32 # icod_ :: LocalVar -> S Int32 # value :: Int32 -> R LocalVar #
EmbPrj ScopeInfo # |
Methods icode :: ScopeInfo -> S Int32 # icod_ :: ScopeInfo -> S Int32 # value :: Int32 -> R ScopeInfo #
EmbPrj NameSpaceId # |
Methods icode :: NameSpaceId -> S Int32 # icod_ :: NameSpaceId -> S Int32 # value :: Int32 -> R NameSpaceId #
EmbPrj Scope # |
Methods icode :: Scope -> S Int32 # icod_ :: Scope -> S Int32 # value :: Int32 -> R Scope #
EmbPrj ConPatInfo # |
Methods icode :: ConPatInfo -> S Int32 # icod_ :: ConPatInfo -> S Int32 # value :: Int32 -> R ConPatInfo #
EmbPrj a => EmbPrj (Pattern' a) # |
Methods icode :: Pattern' a -> S Int32 # icod_ :: Pattern' a -> S Int32 # value :: Int32 -> R (Pattern' a) #