Module FlatCurry.AddTypes

testAddTypes :: String -> IO ()   

testAddTypesWithProgs :: String -> [(String,ModInfo)] -> IO ()   

addTypes2FuncDecls :: [(String,ModInfo)] -> [FuncDecl] -> [FuncDecl]   

addTypes2VarExp :: [(String,ModInfo)] -> [(Int,TypeExpr)] -> Expr -> TypeExpr -> Expr   

defaultAddTypeOptsAll :: AddTypeOpts   

Further infos:

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

defaultAddTypeOptsPoly :: AddTypeOpts   

Further infos:

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

transInfoFrom :: [(String,ModInfo)] -> AddTypeOpts -> TransInfo   

Further infos:

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

getProgInfoFor :: String -> String -> StateT TransInfo Identity ModInfo   

newFreshTVar :: StateT TransInfo Identity Int   

getVarType :: Int -> StateT TransInfo Identity TypeExpr   

addVarTypes :: [(Int,TypeExpr)] -> StateT TransInfo Identity ()   

applyCurrTSubst :: TypeExpr -> StateT TransInfo Identity TypeExpr   

addTVarBind :: Int -> TypeExpr -> StateT TransInfo Identity ()   

unifyTypes :: TypeExpr -> TypeExpr -> StateT TransInfo Identity ()   

typedExp :: (AddTypeOpts -> Bool) -> Expr -> TypeExpr -> StateT TransInfo Identity Expr   

addType2Exp :: Expr -> TypeExpr -> Expr   

addTypes2Module :: String -> StateT TransInfo Identity Prog   

addTypes2Func :: FuncDecl -> StateT TransInfo Identity FuncDecl   

addTypes2Rule :: [(Int,TypeExpr)] -> Expr -> TypeExpr -> StateT TransInfo Identity Expr   

addTypes2Expr :: TypeExpr -> Expr -> StateT TransInfo Identity Expr   

splitArgTypes :: Int -> TypeExpr -> ([TypeExpr],TypeExpr)   

Splits a possibly functional type into types of arguments and result w.r.t. a given arity.

Further infos:

• partially defined

freshTypeVariant :: TypeExpr -> StateT TransInfo Identity TypeExpr   

getCombTypeOf :: CombType -> (String,String) -> StateT TransInfo Identity TypeExpr   

getFuncTypeOf :: (String,String) -> StateT TransInfo Identity TypeExpr   

Further infos:

• partially defined

getConsTypeOf :: (String,String) -> StateT TransInfo Identity TypeExpr   

Further infos:

• partially defined

applyTSubst :: [(Int,TypeExpr)] -> TypeExpr -> TypeExpr   

applyTSubst2Exp :: [(Int,TypeExpr)] -> Expr -> Expr   

allTVarsInFuncDecl :: FuncDecl -> [Int]   

allTVarsInTExp :: TypeExpr -> [Int]   

allTVarsInExp :: Expr -> [Int]   

allTVarsInTDecl :: TypeDecl -> [Int]