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

Safe HaskellNone
LanguageHaskell2010

Language.Clafer.IG.Constraints

Documentation

data ConstraintInfo Source

Constructors

ConstraintInfo 

Fields

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

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