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

Safe HaskellNone
LanguageHaskell98

DDC.Core.Lexer.Names

Contents

Synopsis

Keywords

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

Textual keywords in the core language.

Builtin constructors

readSoConBuiltin :: String -> Maybe SoCon Source

Read a named sort constructor.

readKiConBuiltin :: String -> Maybe KiCon Source

Read a named kind constructor.

readTwConBuiltin :: String -> Maybe TwCon Source

Read a named witness type constructor.

readTcConBuiltin :: String -> Maybe TcCon Source

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

Variable names

isVarName :: String -> Bool Source

String is a variable name

isVarStart :: Char -> Bool Source

Charater can start a variable name.

isVarBody :: Char -> Bool Source

Character can be part of a variable body.

readVar :: String -> Maybe String Source

Read a named, user defined variable.

Constructor names

isConName :: String -> Bool Source

String is a constructor name.

isConStart :: Char -> Bool Source

Character can start a constructor name.

isConBody :: Char -> Bool Source

Charater can be part of a constructor body.

readCon :: String -> Maybe String Source

Read a named, user defined TcCon.

Operator names

isOpName :: String -> Bool Source

String is the name of some operator.

isOpStart :: Char -> Bool Source

Character can start an operator.

isOpBody :: Char -> Bool Source

Character can be part of an operator body.

Literal names

isLitName :: String -> Bool Source

String is the name of a literal.

isLitStart :: Char -> Bool Source

Character can start a literal.

isLitBody :: Char -> Bool Source

Character can be part of a literal body.