claferIG-0.4.3: claferIG is an interactive tool that generates instances of Clafer models.

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.IG.Constraints

Documentation

data Constraint Source

Constructors

ExactCardinalityConstraint 

Fields

range :: Span
 
claferInfo :: ClaferInfo
 
LowerCardinalityConstraint 

Fields

range :: Span
 
claferInfo :: ClaferInfo
 
UpperCardinalityConstraint 

Fields

range :: Span
 
claferInfo :: ClaferInfo
 
UserConstraint 

Fields

range :: Span
 
constraintInfo :: ConstraintInfo
 

Instances

data Cardinality Source

Constructors

Cardinality 

Fields

lower :: Integer
 
upper :: Maybe Integer
 

Instances

data ClaferInfo Source

Constructors

ClaferInfo 

Fields

uniqueId :: String
 
cardinality :: Cardinality
 

Instances

data ConstraintInfo Source

Constructors

ConstraintInfo 

Fields

pId :: String
 
pos :: Span
 
syntax :: String
 

Instances

isLowerCardinalityConstraint :: Constraint -> Bool Source

isUpperCardinalityConstraint :: Constraint -> Bool Source

lookupConstraint :: Span -> [Constraint] -> Constraint Source

parseConstraints :: String -> IModule -> [(Span, IrTrace)] -> [Constraint] Source