eProg
:: CurryProg -> Module -> CurryProg
|
eTypeDecl
:: FM String Decl -> CTypeDecl -> CTypeDecl
|
eConsDecl
:: CConsDecl -> ConstrDecl -> CConsDecl
|
eNewConsDecl
:: CConsDecl -> NewConstrDecl -> CConsDecl
|
eField
:: CFieldDecl -> FieldDecl -> CFieldDecl
|
setSpanTypeExpr
:: ((Int,Int),(Int,Int)) -> CTypeExpr -> CTypeExpr
|
eTypeExpr
:: CTypeExpr -> TypeExpr -> CTypeExpr
|
eFuncDeclFM
:: FM String (Decl,Maybe TypeExpr) -> CFuncDecl -> CFuncDecl
|
eFuncDecl
:: CFuncDecl -> Decl -> Maybe TypeExpr -> CFuncDecl
|
eRule
:: CRule -> Equation -> CRule
|
setSpanPat
:: ((Int,Int),(Int,Int)) -> CPattern -> CPattern
|
ePat
:: CPattern -> Pattern -> CPattern
|
eRhs
:: CRhs -> Rhs -> CRhs
|
eCondExpr
:: (CExpr,CExpr) -> CondExpr -> (((Int,Int),(Int,Int)),CExpr,CExpr)
|
setSpanExpr
:: ((Int,Int),(Int,Int)) -> CExpr -> CExpr
|
eExpr
:: CExpr -> Expression -> CExpr
|
eLiteral
:: CLiteral -> Literal -> CLiteral
|
eLocal
:: CLocalDecl -> Decl -> CLocalDecl
|
eStatements
:: [CStatement] -> [Statement] -> Expression -> [CStatement]
|
eStatement
:: CStatement -> Statement -> CStatement
|
eBranch
:: (CPattern,CRhs) -> Alt -> (CPattern,CRhs)
|
eFieldWith
:: (a -> b -> c) -> ((String,String),a) -> Field b -> ((((Int,Int),(Int,Int)),String,String),c)
|
eOpDecl
:: FM String Decl -> COpDecl -> COpDecl
|
eQNameIdent
:: (String,String) -> Ident -> (((Int,Int),(Int,Int)),String,String)
|
eQNameSIdent
:: (String,String) -> SymIdent -> (((Int,Int),(Int,Int)),String,String)
|
eQNameQIdent
:: (String,String) -> QualIdent -> (((Int,Int),(Int,Int)),String,String)
|
eQNameSQIdent
:: (String,String) -> SymQualIdent -> (((Int,Int),(Int,Int)),String,String)
|
eVarIdent
:: (Int,String) -> Ident -> (((Int,Int),(Int,Int)),Int,String)
|
eVarSQIdent
:: (Int,String) -> SymQualIdent -> (((Int,Int),(Int,Int)),Int,String)
|
eTVarIdent
:: (Int,String) -> Ident -> (((Int,Int),(Int,Int)),Int,String)
|
isFuncDecl
:: Decl -> Bool
|
isExternalDecl
:: Decl -> Bool
|
isTypeDecl
:: Decl -> Bool
|
isInfixDecl
:: Decl -> Bool
|
isTypeSig
:: Decl -> Bool
|
fName
:: Decl -> Ident
|
fEqs
:: Decl -> [Equation]
|
opIdent
:: SymIdent -> Ident
|
apply
:: Expression -> [Expression] -> Expression
|
negateLit
:: Literal -> Literal
|
lhsPattern
:: Lhs -> [Pattern]
|
opToExpr
:: InfixOp -> Expression
|
flattenLocal
:: [Decl] -> [Decl]
|
addVSpans
:: CTypeExpr -> CTypeExpr
|
convVis
:: CVisibility -> CVisibility
|
convFix
:: CFixity -> CFixity
|
convCas
:: CCaseType -> CCaseType
|
joinFunDecls
:: [Decl] -> [Decl]
|
adjacent
:: [CRule] -> Bool
|
bindFun
:: Decl -> FM String (Decl,Maybe TypeExpr) -> FM String (Decl,Maybe TypeExpr)
|
bindSig
:: Decl -> FM String (Decl,Maybe TypeExpr) -> FM String (Decl,Maybe TypeExpr)
|
addSig
:: (String,TypeExpr) -> FM String (Decl,Maybe TypeExpr) -> FM String (Decl,Maybe TypeExpr)
|
bindType
:: Decl -> FM String Decl -> FM String Decl
|
bindOp
:: Decl -> FM String Decl -> FM String Decl
|
symName
:: SymIdent -> String
|