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

Safe HaskellNone

Language.Clafer.IG.Constraints

Documentation

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