ddc-core-0.4.1.3: Disciplined Disciple Compiler core language and type checker.

Safe HaskellNone

DDC.Core.Lexer.Names

Contents

Synopsis

Keywords

keywords :: [(String, Tok n)]Source

Textual keywords in the core language.

Builtin constructors

readSoConBuiltin :: String -> Maybe SoConSource

Read a named sort constructor.

readKiConBuiltin :: String -> Maybe KiConSource

Read a named kind constructor.

readTwConBuiltin :: String -> Maybe TwConSource

Read a named witness type constructor.

readTcConBuiltin :: String -> Maybe TcConSource

Read a builtin type constructor with a non-symbolic name. ie not '->'.

readWbConBuiltin :: String -> Maybe WbConSource

Read a witness constructor.

Variable names

isVarName :: String -> BoolSource

String is a variable name

isVarStart :: Char -> BoolSource

Charater can start a variable name.

isVarBody :: Char -> BoolSource

Character can be part of a variable body.

readVar :: String -> Maybe StringSource

Read a named, user defined variable.

Constructor names

isConName :: String -> BoolSource

String is a constructor name.

isConStart :: Char -> BoolSource

Character can start a constructor name.

isConBody :: Char -> BoolSource

Charater can be part of a constructor body.

readCon :: String -> Maybe StringSource

Read a named, user defined TcCon.

Operator names

isOpName :: String -> BoolSource

String is the name of some operator.

isOpStart :: Char -> BoolSource

Character can start an operator.

isOpBody :: Char -> BoolSource

Character can be part of an operator body.

Literal names

isLitName :: String -> BoolSource

String is the name of a literal.

isLitStart :: Char -> BoolSource

Character can start a literal.

isLitBody :: Char -> BoolSource

Character can be part of a literal body.