ModuleAgda-2.8.0.2Haskell2010
Agda.Syntax.Literal
- 2 types
- 2 values
- PackageAgda-2.8.0.2
- Exports4
- LanguageHaskell2010
- LicenceMIT
Instances15Eq, Ord, Show, NFData, Pretty, PrettyTCM, …
Eq LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.LiteralOrd LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.LiteralShow LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.LiteralNFData LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.LiteralRanges are not forced.
Pretty LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.LiteralPrettyTCM LiteralDefined in Agda-2.8.0.2 · Agda.TypeChecking.PrettyReify LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.Translation.InternalToAbstractHilite LiteralDefined in Agda-2.8.0.2 · Agda.Interaction.Highlighting.FromAbstractKillRange LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.LiteralNamesIn LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesToAbstract LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.Translation.ReflectedToAbstractEmbPrj LiteralDefined in Agda-2.8.0.2 · Agda.TypeChecking.Serialise.Instances.Common · orphanUnquote LiteralDefined in Agda-2.8.0.2 · Agda.TypeChecking.Unquotetype ReifiesTo Literal = ExprDefined in Agda-2.8.0.2 · Agda.Syntax.Translation.InternalToAbstracttype AbsOfRef Literal = ExprDefined in Agda-2.8.0.2 · Agda.Syntax.Translation.ReflectedToAbstract