DDC.Core.Tetra.Profile

Language profile for Disciple Core Tetra

Documentation

profile :: Profile Name

Language profile for Disciple Core Flow.

lexModuleString :: String -> Int -> String -> [Token (Tok Name)]

Lex a string to tokens, using primitive names.

The first argument gives the starting source line number.

lexExpString :: String -> Int -> String -> [Token (Tok Name)]

Lex a string to tokens, using primitive names.

The first argument gives the starting source line number.

freshT :: Env Name -> Bind Name -> State Int Name

Create a new type variable name that is not in the given environment.

freshX :: Env Name -> Bind Name -> State Int Name

Create a new value variable name that is not in the given environment.