Module Utilities

cbranch :: CPattern -> CRhs -> (CPattern,CRhs)   

Further infos:

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

listToType :: (String,String) -> [CTypeExpr] -> CTypeExpr   

listToExpr :: (String,String) -> [CExpr] -> CExpr   

notImplemented :: String -> String -> a   

showQName :: (String,String) -> String   

Further infos:

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

isBasicType :: TypeDecl -> Bool   

addQNPrefix :: String -> (String,String) -> (String,String)   

Further infos:

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

addQNPostfix :: String -> (String,String) -> (String,String)   

Further infos:

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

addST :: CTypeExpr -> CTypeExpr   

Further infos:

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

removeST :: CTypeExpr -> CTypeExpr   

addValues :: CTypeExpr -> CTypeExpr   

Further infos:

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

renameType :: String -> String   

renameFunc :: String -> String   

renameCons :: String -> String   

typeList :: TypeExpr -> ([TypeExpr],TypeExpr)   

ctypeList :: CTypeExpr -> ([CTypeExpr],CTypeExpr)   

compareTypes :: (CTypeExpr,CTypeExpr) -> [((String,String),(String,String))]   

genQName :: String -> String -> String -> String -> (String,String)   

swap :: (a,b) -> (b,a)   

Further infos:

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

addMod :: String -> [(String,String)] -> [(String,String)]   

evens :: [Int]   

odds :: [Int]   

typeVars :: TypeExpr -> [Int]   

ctypeVars :: CTypeExpr -> [(Int,String)]