Safe Haskell	None
Language	Haskell2010

Language.Clafer.IG.ClaferModel

Synopsis

Documentation

Clafer model instance

Constructors

ClaferModel
Fields c_topLevel :: [Clafer]

Instances

Show ClaferModel Source #
Methods showsPrec :: Int -> ClaferModel -> ShowS # show :: ClaferModel -> String # showList :: [ClaferModel] -> ShowS #

Constructors

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

Instances

Eq Clafer Source #
Methods (==) :: Clafer -> Clafer -> Bool # (/=) :: Clafer -> Clafer -> Bool #
Show Clafer Source #
Methods showsPrec :: Int -> Clafer -> ShowS # show :: Clafer -> String # showList :: [Clafer] -> ShowS #

The tuple of name and ordinal must be globally unique

Constructors

Id
Fields i_name :: String i_ordinal :: Int

Instances

Eq Id Source #
Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #
Ord Id Source #
Methods compare :: Id -> Id -> Ordering # (<) :: Id -> Id -> Bool # (<=) :: Id -> Id -> Bool # (>) :: Id -> Id -> Bool # (>=) :: Id -> Id -> Bool # max :: Id -> Id -> Id # min :: Id -> Id -> Id #
Show Id Source #
Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #

Constructors

Instances

Eq Value Source #
Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Show Value Source #
Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #