Module CurryBrowseAnalysis.Linearity

Linearity analysis: check whether functions are defined by right-linear rules.

Author: Michael Hanus

Version: November 2020

Summary of exported operations:

analyseRightLinearity :: [FuncDecl] -> [((String,String),Bool)]  Deterministic 
hasRightLinearRules :: FuncDecl -> Bool  Deterministic 
linearExpr :: Expr -> Bool  Deterministic 

Exported operations:

analyseRightLinearity :: [FuncDecl] -> [((String,String),Bool)]  Deterministic 

hasRightLinearRules :: FuncDecl -> Bool  Deterministic 

linearExpr :: Expr -> Bool  Deterministic