ModuleAgda-2.7.0.1Haskell2010
Agda.Syntax.Reflected
- 11 types
- 1 value
- PackageAgda-2.7.0.1
- Exports12
- LanguageHaskell2010
- LicenceMIT
Instances6Unquote, Show, ToAbstract, AbsOfRef
Unquote ElimDefined in Agda-2.7.0.1 · Agda.TypeChecking.UnquoteShow a => Show (Elim' a)Defined in Agda-2.7.0.1 · Agda.Syntax.ReflectedToAbstract (Expr, Elim)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractToAbstract (Expr, Elims)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef (Expr, Elim) = ExprDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef (Expr, Elims) = ExprDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstract
Instances4Show, ToAbstract, Unquote, AbsOfRef
Show a => Show (Abs a)Defined in Agda-2.7.0.1 · Agda.Syntax.ReflectedToAbstract r => ToAbstract (Abs r)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractUnquote a => Unquote (Abs a)Defined in Agda-2.7.0.1 · Agda.TypeChecking.Unquotetype AbsOfRef (Abs r) = (AbsOfRef r, Name)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstract
Instances9Show, Unquote, ToAbstract, AbsOfRef, …
Show TermDefined in Agda-2.7.0.1 · Agda.Syntax.ReflectedToAbstract TermDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractUnquote ElimDefined in Agda-2.7.0.1 · Agda.TypeChecking.UnquoteUnquote TermDefined in Agda-2.7.0.1 · Agda.TypeChecking.UnquoteToAbstract (Expr, Elim)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractToAbstract (Expr, Elims)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef Term = ExprDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef (Expr, Elim) = ExprDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef (Expr, Elims) = ExprDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstract
Instances4Show, ToAbstract, Unquote, AbsOfRef
Instances4Show, ToAbstract, Unquote, AbsOfRef
Show PatternDefined in Agda-2.7.0.1 · Agda.Syntax.ReflectedToAbstract PatternDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractUnquote PatternDefined in Agda-2.7.0.1 · Agda.TypeChecking.Unquotetype AbsOfRef Pattern = PatternDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstract
Instances8Show, Unquote, ToAbstract, AbsOfRef, …
Show ClauseDefined in Agda-2.7.0.1 · Agda.Syntax.ReflectedUnquote ClauseDefined in Agda-2.7.0.1 · Agda.TypeChecking.UnquoteToAbstract (QNamed Clause)Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractToAbstract (List1 (QNamed Clause))Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstractToAbstract [QNamed Clause]Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef (QNamed Clause) = ClauseDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef (List1 (QNamed Clause)) = List1 ClauseDefined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstracttype AbsOfRef [QNamed Clause] = [Clause]Defined in Agda-2.7.0.1 · Agda.Syntax.Translation.ReflectedToAbstract
Instances1Show
Show DefinitionDefined in Agda-2.7.0.1 · Agda.Syntax.Reflected