| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Numeric.Rounded.Hardware.Interval.Class
Documentation
class IsInterval i where Source #
Minimal complete definition
withEndPoints, makeInterval, width, hull, intersection, maybeIntersection, equalAsSet, subset, weaklyLess, precedes, interior, strictLess, strictPrecedes, disjoint
Methods
withEndPoints :: (Rounded 'TowardNegInf (EndPoint i) -> Rounded 'TowardInf (EndPoint i) -> i) -> i -> i Source #
singleton :: EndPoint i -> i Source #
makeInterval :: Rounded 'TowardNegInf (EndPoint i) -> Rounded 'TowardInf (EndPoint i) -> i Source #
width :: i -> Rounded 'TowardInf (EndPoint i) Source #
intersection :: i -> i -> i Source #
maybeIntersection :: i -> i -> Maybe i Source #
equalAsSet :: i -> i -> Bool infix 4 Source #
Arguments
| :: i | a |
| -> i | b |
| -> Bool |
a is a subset of b
weaklyLess :: i -> i -> Bool infix 4 Source #
precedes :: i -> i -> Bool infix 4 Source #
interior :: i -> i -> Bool infix 4 Source #
strictLess :: i -> i -> Bool infix 4 Source #
strictPrecedes :: i -> i -> Bool infix 4 Source #