Module Analysis.Groundness

Exported Datatypes

Type to represent groundness information. Definitely ground (G), maybe non-ground (A), or maybe non-ground if i-th argument is non-ground (P [...,i,...]).

Constructors:

• G :: Ground
• A :: Ground
• P :: [Int] -> Ground

Known instances:

• ReadWrite Ground
• Show Ground
• Read Ground
• Eq Ground

Type to represent non-determinism effects. A non-determinism effect can be due to an Or (first argument), due to a narrowing step (second argument), or if i-th argument is non-ground (if i is a member of the third argument).

Constructors:

• NDEffect :: Bool -> Bool -> [Int] -> NDEffect

Known instances:

• ReadWrite NDEffect
• Eq NDEffect
• Ord NDEffect
• Show NDEffect
• Read NDEffect

Exported Functions

showGround :: AOutFormat -> Ground -> String   

groundAnalysis :: Analysis Ground   

showNDEffect :: AOutFormat -> NDEffect -> String   

ndEffectAnalysis :: Analysis NDEffect