| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.RelativeValidity
Description
Relative validity
Synopsis
- class RelativeValidity a b where
- isValidFor :: a -> b -> Bool
- isInvalidFor :: RelativeValidity a b => a -> b -> Bool
Documentation
class RelativeValidity a b where Source #
A class of types that have additional invariants defined upon them that aren't enforced by the type system
If there is a Validity a instance as well, then a
should imply isValidFor bisValid a for any b.
If there is a Validity b instance as well, then a
should imply isValidFor bisValid b for any a.
Methods
isValidFor :: a -> b -> Bool Source #
isInvalidFor :: RelativeValidity a b => a -> b -> Bool Source #