Module TransState

Summary of exported operations:

makeTransState :: Int -> [(Int,TypeExpr,Maybe ((String,String),Int,Int))] -> TransState  Deterministic 
emptyTransState :: TransState  Deterministic 
getFreshVarIndex :: StateT TransState (StateT VState IO) Int  Deterministic 
setFreshVarIndex :: Int -> StateT TransState (StateT VState IO) ()  Deterministic 
getFreshVar :: StateT TransState (StateT VState IO) Int  Deterministic 
incFreshVarIndex :: TransState -> TransState  Deterministic 
getVarTypes :: StateT TransState (StateT VState IO) [(Int,TypeExpr,Maybe ((String,String),Int,Int))]  Deterministic 
addVarTypes :: [(Int,TypeExpr)] -> StateT TransState (StateT VState IO) ()  Deterministic 
setNameOfVars :: (String,String) -> [Int] -> StateT TransState (StateT VState IO) ()  Deterministic 
getAssertion :: StateT TransState (StateT VState IO) Term  Deterministic 
setAssertion :: Term -> StateT TransState (StateT VState IO) ()  Deterministic 
addToAssertion :: Term -> StateT TransState (StateT VState IO) ()  Deterministic 

Exported datatypes:


TransState

Constructors:

  • TransState :: Term -> Int -> [(Int,TypeExpr,Maybe (QName,Int,Int))] -> TransState

    Fields:

    • cAssertion :: Term
    • freshVar :: Int
    • varTypes :: [(Int,TypeExpr,Maybe (QName,Int,Int))]

TransStateM

Type synonym: TransStateM a = StateT TransState (StateT VState IO) a


Exported operations:

makeTransState :: Int -> [(Int,TypeExpr,Maybe ((String,String),Int,Int))] -> TransState  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions

setFreshVarIndex :: Int -> StateT TransState (StateT VState IO) ()  Deterministic 

getVarTypes :: StateT TransState (StateT VState IO) [(Int,TypeExpr,Maybe ((String,String),Int,Int))]  Deterministic 

addVarTypes :: [(Int,TypeExpr)] -> StateT TransState (StateT VState IO) ()  Deterministic 

setNameOfVars :: (String,String) -> [Int] -> StateT TransState (StateT VState IO) ()  Deterministic