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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|