TermLike QName Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike EqualityView Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Level Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike PlusLevel Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Sort Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Term Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Type Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike CompareAs Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
TermLike Constraint Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
TermLike NLPSort Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
TermLike NLPType Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
TermLike NLPat Source # | |
Instance detailsDefined in Agda.TypeChecking.Monad.Base |
TermLike Nat Source # | |
Instance detailsDefined in Agda.TypeChecking.Primitive |
TermLike Integer Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Bool Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Char Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike Int Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Arg a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (WithHiding a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Abs a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Blocked a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Dom a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Tele a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Elim' a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike (Case a) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
TermLike a => TermLike (CompiledClauses' a) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
TermLike a => TermLike (WithArity a) Source # | |
Instance detailsDefined in Agda.TypeChecking.CompiledClause |
TermLike a => TermLike (Maybe a) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
TermLike a => TermLike [a] Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
(TermLike a, TermLike b) => TermLike (a, b) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
(TermLike a, TermLike b, TermLike c) => TermLike (a, b, c) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |
(TermLike a, TermLike b, TermLike c, TermLike d) => TermLike (a, b, c, d) Source # | |
Instance detailsDefined in Agda.Syntax.Internal.Generic |