Tokstyle.C.Env

Documentation

data Env

Constructors

Env

Fields

• ctx :: [String]
• retTy :: Maybe Type
• params :: [Ident]

defaultEnv :: Env

bracketUserState :: (s -> s) -> Trav s a -> Trav s a

getCtx :: Trav Env [String]

pushCtx :: String -> Trav Env ()

popCtx :: Trav Env ()

getRetTy :: Trav Env Type

setRetTy :: Type -> Trav Env ()

unsetRetTy :: Trav Env ()