Safe Haskell | None |
---|
Documentation
data Constraint Source
Eq Constraint | |
Show Constraint |
data ClaferInfo Source
ClaferInfo | |
|
Eq ClaferInfo | |
Show ClaferInfo |
isLowerCardinalityConstraint :: Constraint -> BoolSource
isUpperCardinalityConstraint :: Constraint -> BoolSource
lookupConstraint :: Span -> [Constraint] -> ConstraintSource
parseConstraints :: String -> IModule -> [(Span, IrTrace)] -> [Constraint]Source