rounded-hw-0.2.0: Directed rounding for built-in floating types
Safe HaskellNone
LanguageHaskell2010

Numeric.Rounded.Hardware.Interval.Class

Documentation

class IsInterval i where Source #

Associated Types

type EndPoint i Source #

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 #

hull :: i -> i -> i Source #

intersection :: i -> i -> i Source #

maybeIntersection :: i -> i -> Maybe i Source #

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

subset 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 #

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

Instances

Instances details
(RealFloat a, RoundedRing a) => IsInterval (Interval a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Interval.NonEmpty

Associated Types

type EndPoint (Interval a) Source #

(Num a, RoundedRing a, RealFloat a) => IsInterval (Interval a) Source # 
Instance details

Defined in Numeric.Rounded.Hardware.Interval

Associated Types

type EndPoint (Interval a) Source #