Module ACSpans.SpanUtils

Summary of exported operations:

filterTS :: [(((Int,Int),(Int,Int)),Token)] -> [(((Int,Int),(Int,Int)),Token)]   
spanModule :: Module -> ((Int,Int),(Int,Int))   
spanDecl :: Decl -> ((Int,Int),(Int,Int))   
spanConstr :: ConstrDecl -> ((Int,Int),(Int,Int))   
spanNewConstr :: NewConstrDecl -> ((Int,Int),(Int,Int))   
spanField :: FieldDecl -> ((Int,Int),(Int,Int))   
spanTypeExpr :: TypeExpr -> ((Int,Int),(Int,Int))   
spanEquation :: Equation -> ((Int,Int),(Int,Int))   
spanPat :: Pattern -> ((Int,Int),(Int,Int))   
spanRhs :: Rhs -> ((Int,Int),(Int,Int))   
spanCondExpr :: CondExpr -> ((Int,Int),(Int,Int))   
spanExpr :: Expression -> ((Int,Int),(Int,Int))   
spanLiteral :: Literal -> ((Int,Int),(Int,Int))   
spanStmt :: Statement -> ((Int,Int),(Int,Int))   
spanIdent :: Ident -> ((Int,Int),(Int,Int))   
spanQIdent :: QualIdent -> ((Int,Int),(Int,Int))   
spanSIdent :: SymIdent -> ((Int,Int),(Int,Int))   
spanSQIdent :: SymQualIdent -> ((Int,Int),(Int,Int))   

Exported operations:

filterTS :: [(((Int,Int),(Int,Int)),Token)] -> [(((Int,Int),(Int,Int)),Token)]   

spanModule :: Module -> ((Int,Int),(Int,Int))   

spanDecl :: Decl -> ((Int,Int),(Int,Int))   

spanConstr :: ConstrDecl -> ((Int,Int),(Int,Int))   

spanNewConstr :: NewConstrDecl -> ((Int,Int),(Int,Int))   

spanField :: FieldDecl -> ((Int,Int),(Int,Int))   

spanTypeExpr :: TypeExpr -> ((Int,Int),(Int,Int))   

spanEquation :: Equation -> ((Int,Int),(Int,Int))   

spanPat :: Pattern -> ((Int,Int),(Int,Int))   

spanRhs :: Rhs -> ((Int,Int),(Int,Int))   

spanCondExpr :: CondExpr -> ((Int,Int),(Int,Int))   

spanExpr :: Expression -> ((Int,Int),(Int,Int))   

spanLiteral :: Literal -> ((Int,Int),(Int,Int))   

spanStmt :: Statement -> ((Int,Int),(Int,Int))   

spanIdent :: Ident -> ((Int,Int),(Int,Int))   

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

spanQIdent :: QualIdent -> ((Int,Int),(Int,Int))   

spanSIdent :: SymIdent -> ((Int,Int),(Int,Int))   

spanSQIdent :: SymQualIdent -> ((Int,Int),(Int,Int))