Parser.Lexer.Source

Reexports

Definitions

data IsMultiline : Type

Totality: total
Visibility: public export
Constructors:

Multi : IsMultiline

Single : IsMultiline

data DebugInfo : Type

Totality: total
Visibility: public export
Constructors:

DebugLoc : DebugInfo

DebugFile : DebugInfo

DebugLine : DebugInfo

DebugCol : DebugInfo

Hints:

Eq DebugInfo

Show DebugInfo

data Token : Type

Totality: total
Visibility: public export
Constructors:

CharLit : String -> Token

DoubleLit : Double -> Token

IntegerLit : Integer -> Token

StringBegin : Nat -> IsMultiline -> Token

StringEnd : Token

InterpBegin : Token

InterpEnd : Token

StringLit : String -> Token

HoleIdent : String -> Token

Ident : String -> Token

DotSepIdent : Namespace -> String -> Token

DotIdent : String -> Token

Symbol : String -> Token

Space : Token

Comment : Token

DocComment : String -> Token

CGDirective : String -> Token

EndInput : Token

Keyword : String -> Token

Pragma : String -> Token

MagicDebugInfo : DebugInfo -> Token

Unrecognised : String -> Token

Hints:

Pretty Void Token

Show Token

fixityKeywords : List String

Totality: total
Visibility: public export

keywords : List String

Totality: total
Visibility: public export

debugInfo : List (String, DebugInfo)

Totality: total
Visibility: public export

symbols : List String

Totality: total
Visibility: public export

groupSymbols : List String

Totality: total
Visibility: export

groupClose : String -> String

Totality: total
Visibility: export

reservedInfixSymbols : List String

Totality: total
Visibility: public export

reservedSymbols : List String

Totality: total
Visibility: public export

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

Totality: total
Visibility: export

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

Totality: total
Visibility: export