| Copyright | (c) Edward Kmett and Dan Doel 2013 |
|---|---|
| License | BSD3 |
| Maintainer | Edward Kmett <ekmett@gmail.com> |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Ermine.Parser.Style
Description
This module provides the style information for tokenizing of various portions of the language.
- termIdent :: TokenParsing m => IdentifierStyle m
- typeIdent :: TokenParsing m => IdentifierStyle m
- kindIdent :: TokenParsing m => IdentifierStyle m
- termIdentifier :: (Monad m, TokenParsing m) => m Text
- typeIdentifier :: (Monad m, TokenParsing m) => m Text
- kindIdentifier :: (Monad m, TokenParsing m) => m Text
- op :: TokenParsing m => IdentifierStyle m
- operator :: (Monad m, TokenParsing m) => m Text
- termCon :: TokenParsing m => IdentifierStyle m
- typeCon :: TokenParsing m => IdentifierStyle m
Documentation
termIdentifier :: (Monad m, TokenParsing m) => m Text Source
Parse a term identifier.
typeIdentifier :: (Monad m, TokenParsing m) => m Text Source
Parse a type identifier
kindIdentifier :: (Monad m, TokenParsing m) => m Text Source
Parse a kind identifier
op :: TokenParsing m => IdentifierStyle m Source
The identifier style for operators.
TODO: make this more specific to each level?