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 |
You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.
Key | Shortcut |
---|---|
s | Open this search box |
esc | Close this search box |
↓,ctrl + j | Move down in search results |
↑,ctrl + k | Move up in search results |
↵ | Go to active search result |