Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Serialise.Instances.Internal
Contents
Documentation
Orphan instances
EmbPrj Permutation # | |
EmbPrj Occurrence # | |
EmbPrj ConPatternInfo # | |
EmbPrj DBPatVar # | |
EmbPrj Clause # | |
EmbPrj LevelAtom # | |
EmbPrj PlusLevel # | |
EmbPrj Level # | |
EmbPrj Sort # | |
EmbPrj Term # | |
EmbPrj ConHead # | |
EmbPrj CompiledClauses # | |
EmbPrj CtxId # | |
EmbPrj MutualId # | |
EmbPrj TermHead # | |
EmbPrj Defn # | |
EmbPrj FunctionFlag # | |
EmbPrj EtaEquality # | |
EmbPrj ProjLams # | |
EmbPrj Projection # | |
EmbPrj ExtLamInfo # | |
EmbPrj Polarity # | |
EmbPrj Definition # | |
EmbPrj RewriteRule # | |
EmbPrj NLPType # | |
EmbPrj NLPat # | |
EmbPrj DisplayTerm # | |
EmbPrj DisplayForm # | |
EmbPrj Section # | |
EmbPrj Signature # | |
EmbPrj a => EmbPrj (Drop a) # | |
EmbPrj a => EmbPrj (Pattern' a) # | |
EmbPrj a => EmbPrj (Tele a) # | |
EmbPrj a => EmbPrj (Type' a) # | |
EmbPrj a => EmbPrj (Abs a) # | |
EmbPrj a => EmbPrj (Elim' a) # | |
EmbPrj a => EmbPrj (Case a) # | |
EmbPrj a => EmbPrj (WithArity a) # | |
EmbPrj a => EmbPrj (Builtin a) # | |
EmbPrj a => EmbPrj (FunctionInverse' a) # | |
EmbPrj a => EmbPrj (Local a) # | |
EmbPrj a => EmbPrj (Open a) # | |