Numeric.Rounded.Hardware.Interval.Class

Documentation

class IsInterval i where

Minimal complete definition

withEndPoints, makeInterval, width, hull, intersection, maybeIntersection, equalAsSet, subset, weaklyLess, precedes, interior, strictLess, strictPrecedes, disjoint

Associated Types

type EndPoint i

Methods

withEndPoints :: (Rounded 'TowardNegInf (EndPoint i) -> Rounded 'TowardInf (EndPoint i) -> i) -> i -> i

singleton :: EndPoint i -> i

makeInterval :: Rounded 'TowardNegInf (EndPoint i) -> Rounded 'TowardInf (EndPoint i) -> i

width :: i -> Rounded 'TowardInf (EndPoint i)

hull :: i -> i -> i

intersection :: i -> i -> i

maybeIntersection :: i -> i -> Maybe i

equalAsSet :: i -> i -> Bool infix 4

subset infix 4

Arguments

:: i

a

-> i

b

-> Bool

a is a subset of b

weaklyLess :: i -> i -> Bool infix 4

precedes :: i -> i -> Bool infix 4

interior :: i -> i -> Bool infix 4

strictLess :: i -> i -> Bool infix 4

strictPrecedes :: i -> i -> Bool infix 4

disjoint :: i -> i -> Bool infix 4

Instances

(Num a, RoundedRing a, RealFloat a) => IsInterval (Interval a)

Defined in Numeric.Rounded.Hardware.Interval

Associated Types

type EndPoint (Interval a)

Methods

withEndPoints :: (Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a) -> Interval a -> Interval a

singleton :: EndPoint (Interval a) -> Interval a

makeInterval :: Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a

width :: Interval a -> Rounded 'TowardInf (EndPoint (Interval a))

hull :: Interval a -> Interval a -> Interval a

intersection :: Interval a -> Interval a -> Interval a

maybeIntersection :: Interval a -> Interval a -> Maybe (Interval a)

equalAsSet :: Interval a -> Interval a -> Bool

subset :: Interval a -> Interval a -> Bool

weaklyLess :: Interval a -> Interval a -> Bool

precedes :: Interval a -> Interval a -> Bool

interior :: Interval a -> Interval a -> Bool

strictLess :: Interval a -> Interval a -> Bool

strictPrecedes :: Interval a -> Interval a -> Bool

disjoint :: Interval a -> Interval a -> Bool

(RealFloat a, RoundedRing a) => IsInterval (Interval a)

Defined in Numeric.Rounded.Hardware.Interval.NonEmpty

Associated Types

type EndPoint (Interval a)

Methods

withEndPoints :: (Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a) -> Interval a -> Interval a

singleton :: EndPoint (Interval a) -> Interval a

makeInterval :: Rounded 'TowardNegInf (EndPoint (Interval a)) -> Rounded 'TowardInf (EndPoint (Interval a)) -> Interval a

width :: Interval a -> Rounded 'TowardInf (EndPoint (Interval a))

hull :: Interval a -> Interval a -> Interval a

intersection :: Interval a -> Interval a -> Interval a

maybeIntersection :: Interval a -> Interval a -> Maybe (Interval a)

equalAsSet :: Interval a -> Interval a -> Bool

subset :: Interval a -> Interval a -> Bool

weaklyLess :: Interval a -> Interval a -> Bool

precedes :: Interval a -> Interval a -> Bool

interior :: Interval a -> Interval a -> Bool

strictLess :: Interval a -> Interval a -> Bool

strictPrecedes :: Interval a -> Interval a -> Bool

disjoint :: Interval a -> Interval a -> Bool