Safe Haskell	None
Language	Haskell2010

Agda.TypeChecking.Serialise.Instances.Internal

Contents

Orphan instances

Documentation

Orphan instances

EmbPrj Permutation #
Methods icode :: Permutation -> S Int32 # icod_ :: Permutation -> S Int32 # value :: Int32 -> R Permutation #
EmbPrj Occurrence #
Methods icode :: Occurrence -> S Int32 # icod_ :: Occurrence -> S Int32 # value :: Int32 -> R Occurrence #
EmbPrj ConPatternInfo #
Methods icode :: ConPatternInfo -> S Int32 # icod_ :: ConPatternInfo -> S Int32 # value :: Int32 -> R ConPatternInfo #
EmbPrj DBPatVar #
Methods icode :: DBPatVar -> S Int32 # icod_ :: DBPatVar -> S Int32 # value :: Int32 -> R DBPatVar #
EmbPrj Clause #
Methods icode :: Clause -> S Int32 # icod_ :: Clause -> S Int32 # value :: Int32 -> R Clause #
EmbPrj LevelAtom #
Methods icode :: LevelAtom -> S Int32 # icod_ :: LevelAtom -> S Int32 # value :: Int32 -> R LevelAtom #
EmbPrj PlusLevel #
Methods icode :: PlusLevel -> S Int32 # icod_ :: PlusLevel -> S Int32 # value :: Int32 -> R PlusLevel #
EmbPrj Level #
Methods icode :: Level -> S Int32 # icod_ :: Level -> S Int32 # value :: Int32 -> R Level #
EmbPrj Sort #
Methods icode :: Sort -> S Int32 # icod_ :: Sort -> S Int32 # value :: Int32 -> R Sort #
EmbPrj Term #
Methods icode :: Term -> S Int32 # icod_ :: Term -> S Int32 # value :: Int32 -> R Term #
EmbPrj ConHead #
Methods icode :: ConHead -> S Int32 # icod_ :: ConHead -> S Int32 # value :: Int32 -> R ConHead #
EmbPrj CompiledClauses #
Methods icode :: CompiledClauses -> S Int32 # icod_ :: CompiledClauses -> S Int32 # value :: Int32 -> R CompiledClauses #
EmbPrj CtxId #
Methods icode :: CtxId -> S Int32 # icod_ :: CtxId -> S Int32 # value :: Int32 -> R CtxId #
EmbPrj MutualId #
Methods icode :: MutualId -> S Int32 # icod_ :: MutualId -> S Int32 # value :: Int32 -> R MutualId #
EmbPrj TermHead #
Methods icode :: TermHead -> S Int32 # icod_ :: TermHead -> S Int32 # value :: Int32 -> R TermHead #
EmbPrj Defn #
Methods icode :: Defn -> S Int32 # icod_ :: Defn -> S Int32 # value :: Int32 -> R Defn #
EmbPrj FunctionFlag #
Methods icode :: FunctionFlag -> S Int32 # icod_ :: FunctionFlag -> S Int32 # value :: Int32 -> R FunctionFlag #
EmbPrj EtaEquality #
Methods icode :: EtaEquality -> S Int32 # icod_ :: EtaEquality -> S Int32 # value :: Int32 -> R EtaEquality #
EmbPrj ProjLams #
Methods icode :: ProjLams -> S Int32 # icod_ :: ProjLams -> S Int32 # value :: Int32 -> R ProjLams #
EmbPrj Projection #
Methods icode :: Projection -> S Int32 # icod_ :: Projection -> S Int32 # value :: Int32 -> R Projection #
EmbPrj ExtLamInfo #
Methods icode :: ExtLamInfo -> S Int32 # icod_ :: ExtLamInfo -> S Int32 # value :: Int32 -> R ExtLamInfo #
EmbPrj Polarity #
Methods icode :: Polarity -> S Int32 # icod_ :: Polarity -> S Int32 # value :: Int32 -> R Polarity #
EmbPrj Definition #
Methods icode :: Definition -> S Int32 # icod_ :: Definition -> S Int32 # value :: Int32 -> R Definition #
EmbPrj RewriteRule #
Methods icode :: RewriteRule -> S Int32 # icod_ :: RewriteRule -> S Int32 # value :: Int32 -> R RewriteRule #
EmbPrj NLPType #
Methods icode :: NLPType -> S Int32 # icod_ :: NLPType -> S Int32 # value :: Int32 -> R NLPType #
EmbPrj NLPat #
Methods icode :: NLPat -> S Int32 # icod_ :: NLPat -> S Int32 # value :: Int32 -> R NLPat #
EmbPrj DisplayTerm #
Methods icode :: DisplayTerm -> S Int32 # icod_ :: DisplayTerm -> S Int32 # value :: Int32 -> R DisplayTerm #
EmbPrj DisplayForm #
Methods icode :: DisplayForm -> S Int32 # icod_ :: DisplayForm -> S Int32 # value :: Int32 -> R DisplayForm #
EmbPrj Section #
Methods icode :: Section -> S Int32 # icod_ :: Section -> S Int32 # value :: Int32 -> R Section #
EmbPrj Signature #
Methods icode :: Signature -> S Int32 # icod_ :: Signature -> S Int32 # value :: Int32 -> R Signature #
EmbPrj a => EmbPrj (Drop a) #
Methods icode :: Drop a -> S Int32 # icod_ :: Drop a -> S Int32 # value :: Int32 -> R (Drop a) #
EmbPrj a => EmbPrj (Substitution' a) #
Methods icode :: Substitution' a -> S Int32 # icod_ :: Substitution' a -> S Int32 # value :: Int32 -> R (Substitution' a) #
EmbPrj a => EmbPrj (Pattern' a) #
Methods icode :: Pattern' a -> S Int32 # icod_ :: Pattern' a -> S Int32 # value :: Int32 -> R (Pattern' a) #
EmbPrj a => EmbPrj (Tele a) #
Methods icode :: Tele a -> S Int32 # icod_ :: Tele a -> S Int32 # value :: Int32 -> R (Tele a) #
EmbPrj a => EmbPrj (Type' a) #
Methods icode :: Type' a -> S Int32 # icod_ :: Type' a -> S Int32 # value :: Int32 -> R (Type' a) #
EmbPrj a => EmbPrj (Abs a) #
Methods icode :: Abs a -> S Int32 # icod_ :: Abs a -> S Int32 # value :: Int32 -> R (Abs a) #
EmbPrj a => EmbPrj (Elim' a) #
Methods icode :: Elim' a -> S Int32 # icod_ :: Elim' a -> S Int32 # value :: Int32 -> R (Elim' a) #
EmbPrj a => EmbPrj (Case a) #
Methods icode :: Case a -> S Int32 # icod_ :: Case a -> S Int32 # value :: Int32 -> R (Case a) #
EmbPrj a => EmbPrj (WithArity a) #
Methods icode :: WithArity a -> S Int32 # icod_ :: WithArity a -> S Int32 # value :: Int32 -> R (WithArity a) #
EmbPrj a => EmbPrj (Builtin a) #
Methods icode :: Builtin a -> S Int32 # icod_ :: Builtin a -> S Int32 # value :: Int32 -> R (Builtin a) #
EmbPrj a => EmbPrj (FunctionInverse' a) #
Methods icode :: FunctionInverse' a -> S Int32 # icod_ :: FunctionInverse' a -> S Int32 # value :: Int32 -> R (FunctionInverse' a) #
EmbPrj a => EmbPrj (Local a) #
Methods icode :: Local a -> S Int32 # icod_ :: Local a -> S Int32 # value :: Int32 -> R (Local a) #
EmbPrj a => EmbPrj (Open a) #
Methods icode :: Open a -> S Int32 # icod_ :: Open a -> S Int32 # value :: Int32 -> R (Open a) #