Numeric.Limp.Program.Constraint

Documentation

data Constraint z r c where

Constructors

(:==) :: Linear z r c k1 -> Linear z r c k2 -> Constraint z r c infix 5

(:<=) :: Linear z r c k1 -> Linear z r c k2 -> Constraint z r c infix 5

(:<) :: Linear z r c KZ -> Linear z r c KZ -> Constraint z r c infix 5

(:>=) :: Linear z r c k1 -> Linear z r c k2 -> Constraint z r c infix 5

(:>) :: Linear z r c KZ -> Linear z r c KZ -> Constraint z r c infix 5

Between :: Linear z r c k1 -> Linear z r c k2 -> Linear z r c k3 -> Constraint z r c

(:&&) :: Constraint z r c -> Constraint z r c -> Constraint z r c infixr 3

(:!) :: String -> Constraint z r c -> Constraint z r c infix 4

CTrue :: Constraint z r c

Instances

Monoid (Constraint z r c)

check :: (Rep c, Ord z, Ord r) => Assignment z r c -> Constraint z r c -> Bool