Module Translate

Summary of exported operations:

translFuncDecl :: AFuncDecl TypeExpr -> CFuncDecl   
translRule :: ARule TypeExpr -> CRule   
translExpr :: AExpr TypeExpr -> CExpr   
translBranch :: ABranchExpr TypeExpr -> (CPattern,CRhs)   
translVis :: Visibility -> CVisibility   
translTVar :: Int -> (Int,String)   
translVar :: Int -> (Int,String)   
translExistingVar :: Int -> (Int,String)   
translTypeDecl :: TypeDecl -> CTypeDecl   
translConsDecl :: ConsDecl -> CConsDecl   
translTypeExpr :: TypeExpr -> CTypeExpr   
translLit :: Literal -> CLiteral   
translCaseType :: CaseType -> CCaseType   

Exported operations:

translVis :: Visibility -> CVisibility   

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

translTVar :: Int -> (Int,String)   

translVar :: Int -> (Int,String)   

translExistingVar :: Int -> (Int,String)   

translLit :: Literal -> CLiteral   

translCaseType :: CaseType -> CCaseType   

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