makeTransState
:: Int -> [(Int,TypeExpr,Maybe ((String,String),Int,Int))] -> TransState
|
emptyTransState
:: TransState
|
getFreshVarIndex
:: StateT TransState (StateT VState IO) Int
|
setFreshVarIndex
:: Int -> StateT TransState (StateT VState IO) ()
|
getFreshVar
:: StateT TransState (StateT VState IO) Int
|
incFreshVarIndex
:: TransState -> TransState
|
getVarTypes
:: StateT TransState (StateT VState IO) [(Int,TypeExpr,Maybe ((String,String),Int,Int))]
|
addVarTypes
:: [(Int,TypeExpr)] -> StateT TransState (StateT VState IO) ()
|
setNameOfVars
:: (String,String) -> [Int] -> StateT TransState (StateT VState IO) ()
|
getAssertion
:: StateT TransState (StateT VState IO) Term
|
setAssertion
:: Term -> StateT TransState (StateT VState IO) ()
|
addToAssertion
:: Term -> StateT TransState (StateT VState IO) ()
|
Constructors:
Type synonym: TransStateM a = StateT TransState (StateT VState IO) a
|
|
|
|
|
|
|
|
|
|