ddc-core-flow-0.4.1.1: Disciplined Disciple Compiler data flow compiler.

Safe HaskellNone

DDC.Core.Flow.Profile

Description

Language profile for Disciple Core Flow.

Synopsis

Documentation

profile :: Profile NameSource

Language profile for Disciple Core Flow.

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

Lex a string to tokens, using primitive names.

The first argument gives the starting source line number.

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

Lex a string to tokens, using primitive names.

The first argument gives the starting source line number.

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

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

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

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