Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module contains a dhall lexer.
- lexDhall :: ByteString -> Either String [Token]
- getDependencies :: ByteString -> Either String [FilePath]
- type Token = Ann AlexPosn TokenType
- data AlexPosn = AlexPn !Int !Int !Int
- data TokenType
- = IntLit !Integer
- | DoubleTok !Scientific
- | NatLit !Natural
- | BoolTok !Bool
- | EmbedFile !ByteString
- | EmbedURL !ByteString
- | TypeId !ByteString
- | QuotedId !ByteString
- | Identifier !ByteString
- | Keyword !Keyword
- | Special !ByteString
- | Operator !Operator
- | AtToken !Integer
- | BeginSplice
- | EndSplice
- | StringChunk !ByteString
- | End
- data Keyword
- = KwLet
- | KwIn
- | KwConstructors
- | KwMerge
- | KwForall
- | KwIf
- | KwThen
- | KwElse
- | KwText
- | KwDouble
- | KwInteger
- | KwList
- | KwNatural
- | KwBool
- | KwOptional
- | KwNatFold
- | KwNatBuild
- | KwNatIsZero
- | KwNatEven
- | KwNatOdd
- | KwNatToInteger
- | KwNatShow
- | KwIntegerShow
- | KwDoubleShow
- | KwListBuild
- | KwListFold
- | KwListLength
- | KwListHead
- | KwListLast
- | KwListIndexed
- | KwListReverse
- | KwOptionalFold
- | KwOptionalBuild
- | KwType
- | KwKind
- data Operator
- data Ann a b = Ann {}
- alexMonadScan :: Alex Token
- runAlex :: ByteString -> Alex a -> Either String a
- newtype Alex a = Alex {}
- data AlexState = AlexState {}
User functions
getDependencies :: ByteString -> Either String [FilePath] Source #
Types
This is a data type for tokens, stripped of any annotation.
Data type for reserved keywords.
The operator type holds some special builtin symbols.
Data type for values with annotations.