- class MkConstraint a where
- mkConstraint :: a -> Constraint
- newtype Constraint = Constraint {
- unConstraint :: Vector (Char, Int)
Documentation
class MkConstraint a whereSource
We can create a constraint from different sources
mkConstraint :: a -> ConstraintSource
newtype Constraint Source
A constraint is nothing more than a vector of constraint characters together with a possible pairing for each character.
Constraint | |
|