Portability | non-portable (FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies) |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
Arithmetic relations
- data RelOp
- flipOp :: RelOp -> RelOp
- negOp :: RelOp -> RelOp
- showOp :: RelOp -> String
- evalOp :: Ord a => RelOp -> a -> a -> Bool
- data Rel e = Rel e RelOp e
- class IsRel e r | r -> e where
- (.<.) :: IsRel e r => e -> e -> r
- (.<=.) :: IsRel e r => e -> e -> r
- (.>=.) :: IsRel e r => e -> e -> r
- (.>.) :: IsRel e r => e -> e -> r
- (.==.) :: IsRel e r => e -> e -> r
- (./=.) :: IsRel e r => e -> e -> r
Relational operators
flipOp :: RelOp -> RelOpSource
flipping relational operator
rel (flipOp op) a b
is equivalent to rel op b a
negating relational operator
rel (negOp op) a b
is equivalent to notB (rel op a b)
Relation
Atomic formula