DDC.Core.Lexer.Names

Keywords

keywords :: [(String, Tok n)]

Textual keywords in the core language.

Builtin constructors

readTwConBuiltin :: String -> Maybe TwCon

Read a named TwCon.

readTcConBuiltin :: String -> Maybe TcCon

Read a builtin TcCon with a non-symbolic name, ie not '->'.

readWbConBuiltin :: String -> Maybe WbCon

Read a WbCon.

Variable names

isVarName :: String -> Bool

String is a variable name

isVarStart :: Char -> Bool

Charater can start a variable name.

isVarBody :: Char -> Bool

Character can be part of a variable body.

readVar :: String -> Maybe String

Read a named, user defined variable.

Constructor names

isConName :: String -> Bool

String is a constructor name.

isConStart :: Char -> Bool

Character can start a constructor name.

isConBody :: Char -> Bool

Charater can be part of a constructor body.

readCon :: String -> Maybe String

Read a named, user defined TcCon.

Literal names

isLitName :: String -> Bool

String is the name of a literal.

isLitStart :: Char -> Bool

Character can start a literal.

isLitBody :: Char -> Bool

Character can be part of a literal body.