CM.Validity

Constructions for working with conceptual model elements validity and constraints.

Documentation

data Validity

Type showing validity of some contruct (similar to Maybe)

Constructors

Valid

Invalid String

Instances

Eq Validity

Methods

(==) :: Validity -> Validity -> Bool

(/=) :: Validity -> Validity -> Bool

Read Validity

Methods

readsPrec :: Int -> ReadS Validity

readList :: ReadS [Validity]

readPrec :: ReadPrec Validity

readListPrec :: ReadPrec [Validity]

Show Validity

Methods

showsPrec :: Int -> Validity -> ShowS

show :: Validity -> String

showList :: [Validity] -> ShowS

isValid :: Validity -> Bool

Check if Validity signals valid or invalid

violationMessage :: Validity -> Maybe String

Convert Validity to Maybe with message

newConstraint :: Bool -> String -> Validity

Construct constraint with boolean value and message