Language.Lambda.SystemF.State

Documentation

data TypecheckState name

Constructors

TypecheckState

Fields

• tsContext :: Context name
• tsUniques :: [name]

type Typecheck name = StateT (TypecheckState name) (Except LambdaException)

type Context name = Map name (Ty name)

runTypecheck :: Typecheck name result -> TypecheckState name -> Either LambdaException (result, TypecheckState name)

execTypecheck :: Typecheck name result -> TypecheckState name -> Either LambdaException result

unsafeRunTypecheck :: Typecheck name result -> TypecheckState name -> (result, TypecheckState name)

unsafeExecTypecheck :: Typecheck name result -> TypecheckState name -> result

mkTypecheckState :: [name] -> TypecheckState name

context :: Lens' (TypecheckState name) (Context name)

uniques :: Lens' (TypecheckState name) [name]

getContext :: Typecheck name (Context name)

getUniques :: Typecheck name [name]

modifyContext :: (Context name -> Context name) -> Typecheck name ()

modifyUniques :: ([name] -> [name]) -> Typecheck name ()

setContext :: Context name -> Typecheck name ()

setUniques :: [name] -> Typecheck name ()