Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Syntax.Literal
Documentation
Constructors
LitNat !Integer | |
LitWord64 !Word64 | |
LitFloat !Double | |
LitString !Text | |
LitChar !Char | |
LitQName !QName | |
LitMeta !(TopLevelModuleName' Range) !MetaId |
Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Syntax.Literal
Constructors
LitNat !Integer | |
LitWord64 !Word64 | |
LitFloat !Double | |
LitString !Text | |
LitChar !Char | |
LitQName !QName | |
LitMeta !(TopLevelModuleName' Range) !MetaId |