ToySolver.Data.ArithRel

Relational operators

data RelOp

flipOp

negOp

showOp

evalOp

Relation

data ArithRel e

fromArithRel

DSL

class IsArithRel e r

(.<.)

(.<=.)

(.>=.)

(.>.)

(.==.)

(./=.)