Idrall.Parser.Lexer

Reexports

Definitions

data IsMultiline : Type

Totality: total
Visibility: public export
Constructors:

Multi : IsMultiline

Single : IsMultiline

Hint: 

Eq IsMultiline

data RawToken : Type

Totality: total
Visibility: public export
Constructors:

Ident : String -> RawToken

Symbol : String -> RawToken

Keyword : String -> RawToken

Builtin : String -> RawToken

TNatural : Nat -> RawToken

TInteger : Integer -> RawToken

TDouble : Double -> RawToken

InterpBegin : RawToken

InterpEnd : RawToken

StringBegin : IsMultiline -> RawToken

StringEnd : RawToken

StringLit : String -> RawToken

White : RawToken

Comment : String -> RawToken

Unrecognised : RawToken

EndInput : RawToken

RelImport : String -> RawToken

AbsImport : String -> RawToken

HomeDirImport : String -> RawToken

EnvImport : String -> RawToken

HttpImport : String -> RawToken

Sha : String -> RawToken

MissingImport : RawToken

Hints:

Eq RawToken

Show RawToken

TokenRawToken : Type

Visibility: public export

builtins : List String

Visibility: export

keywords : List String

Visibility: export

lexTo : Lexer -> String -> Either (StopReason, (Int, (Int, String))) (List (WithBounds RawToken))

Visibility: export

lex : String -> Either (StopReason, (Int, (Int, String))) (List (WithBounds RawToken))

Visibility: export