Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data TypecheckState name Source #
TypecheckState | |
|
Instances
Show name => Show (TypecheckState name) Source # | |
Defined in Language.Lambda.SystemF.State showsPrec :: Int -> TypecheckState name -> ShowS # show :: TypecheckState name -> String # showList :: [TypecheckState name] -> ShowS # | |
Eq name => Eq (TypecheckState name) Source # | |
Defined in Language.Lambda.SystemF.State (==) :: TypecheckState name -> TypecheckState name -> Bool # (/=) :: TypecheckState name -> TypecheckState name -> Bool # |
type Typecheck name = StateT (TypecheckState name) (Except LambdaException) Source #
runTypecheck :: Typecheck name result -> TypecheckState name -> Either LambdaException (result, TypecheckState name) Source #
execTypecheck :: Typecheck name result -> TypecheckState name -> Either LambdaException result Source #
unsafeRunTypecheck :: Typecheck name result -> TypecheckState name -> (result, TypecheckState name) Source #
unsafeExecTypecheck :: Typecheck name result -> TypecheckState name -> result Source #
mkTypecheckState :: [name] -> [name] -> TypecheckState name Source #
_context :: SimpleGetter (TypecheckState name) (Context name) Source #
_varUniques :: Lens' (TypecheckState name) [name] Source #
_tyUniques :: Lens' (TypecheckState name) [name] Source #
getContext :: Typecheck name (Context name) Source #
getGlobals :: Typecheck name (Globals name) Source #
getVarUniques :: Typecheck name [name] Source #
getTyUniques :: Typecheck name [name] Source #
modifyVarUniques :: ([name] -> [name]) -> Typecheck name () Source #
modifyTyUniques :: ([name] -> [name]) -> Typecheck name () Source #
setGlobals :: Globals name -> Typecheck name () Source #
setVarUniques :: [name] -> Typecheck name () Source #
setTyUniques :: [name] -> Typecheck name () Source #