Module ACSpans.ExtendAbstractCurry

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   

Further infos:

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

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   

Further infos:

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

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   

Further infos:

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

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   

Further infos:

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

apply :: Expression -> [Expression] -> Expression   

negateLit :: Literal -> Literal   

lhsPattern :: Lhs -> [Pattern]   

Further infos:

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

opToExpr :: InfixOp -> Expression   

Further infos:

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

flattenLocal :: [Decl] -> [Decl]   

addVSpans :: CTypeExpr -> CTypeExpr   

convVis :: CVisibility -> CVisibility   

Further infos:

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

convFix :: CFixity -> CFixity   

Further infos:

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

convCas :: CCaseType -> CCaseType   

Further infos:

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

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   

Further infos:

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