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

Safe HaskellNone

Language.Clafer.IG.ClaferModel

Synopsis

Documentation

data ClaferModel Source

Clafer model instance

Constructors

ClaferModel 

Fields

c_topLevel :: [Clafer]
 

Instances

data Clafer Source

Constructors

Clafer 

Fields

c_id :: Id
 
c_value :: Maybe Value
 
c_children :: [Clafer]
 

Instances

Show Clafer 

data Id Source

The tuple of name and ordinal must be globally unique

Constructors

Id 

Fields

i_name :: String
 
i_ordinal :: Int
 

Instances

Eq Id 
Ord Id 
Show Id 

data Value Source

Constructors

AliasValue 

Fields

c_alias :: Id
 
IntValue 

Fields

v_value :: Int
 
StringValue 

Fields

v_str :: String
 

Instances

Show Value 

c_name :: Clafer -> StringSource

buildClaferModel :: Solution -> ClaferModelSource

traverse :: ClaferModel -> [Clafer]Source