Numeric.Rounded.Hardware.Rounding

Documentation

data RoundingMode

The type for IEEE754 rounding-direction attributes.

Constructors

ToNearest

Round to the nearest value (IEEE754 roundTiesToEven)

TowardNegInf

Round downward (IEEE754 roundTowardNegative)

TowardInf

Round upward (IEEE754 roundTowardPositive)

TowardZero

Round toward zero (IEEE754 roundTowardZero)

Instances

Bounded RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

minBound :: RoundingMode

maxBound :: RoundingMode

Enum RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

succ :: RoundingMode -> RoundingMode

pred :: RoundingMode -> RoundingMode

toEnum :: Int -> RoundingMode

fromEnum :: RoundingMode -> Int

enumFrom :: RoundingMode -> [RoundingMode]

enumFromThen :: RoundingMode -> RoundingMode -> [RoundingMode]

enumFromTo :: RoundingMode -> RoundingMode -> [RoundingMode]

enumFromThenTo :: RoundingMode -> RoundingMode -> RoundingMode -> [RoundingMode]

Eq RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

(==) :: RoundingMode -> RoundingMode -> Bool

(/=) :: RoundingMode -> RoundingMode -> Bool

Ord RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

compare :: RoundingMode -> RoundingMode -> Ordering

(<) :: RoundingMode -> RoundingMode -> Bool

(<=) :: RoundingMode -> RoundingMode -> Bool

(>) :: RoundingMode -> RoundingMode -> Bool

(>=) :: RoundingMode -> RoundingMode -> Bool

max :: RoundingMode -> RoundingMode -> RoundingMode

min :: RoundingMode -> RoundingMode -> RoundingMode

Read RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

readsPrec :: Int -> ReadS RoundingMode

readList :: ReadS [RoundingMode]

readPrec :: ReadPrec RoundingMode

readListPrec :: ReadPrec [RoundingMode]

Show RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

showsPrec :: Int -> RoundingMode -> ShowS

show :: RoundingMode -> String

showList :: [RoundingMode] -> ShowS

Generic RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Associated Types

type Rep RoundingMode :: Type -> Type

Methods

from :: RoundingMode -> Rep RoundingMode x

to :: Rep RoundingMode x -> RoundingMode

NFData RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

rnf :: RoundingMode -> ()

type Rep RoundingMode

Defined in Numeric.Rounded.Hardware.Internal.Rounding

type Rep RoundingMode = D1 ('MetaData "RoundingMode" "Numeric.Rounded.Hardware.Internal.Rounding" "rounded-hw-0.2.0-G2mMTdTBXOG87Ub6xfZ4rG" 'False) ((C1 ('MetaCons "ToNearest" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TowardNegInf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TowardInf" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TowardZero" 'PrefixI 'False) (U1 :: Type -> Type)))

oppositeRoundingMode :: RoundingMode -> RoundingMode

Returns the opposite rounding direction.

TowardNegInf and TowardInf are swapped.

class Rounding (r :: RoundingMode)

This class allows you to recover the runtime value from a type-level rounding mode.

See rounding.

Minimal complete definition

roundingT

Instances

Rounding 'ToNearest

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

roundingT :: Tagged 'ToNearest RoundingMode

Rounding 'TowardNegInf

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

roundingT :: Tagged 'TowardNegInf RoundingMode

Rounding 'TowardInf

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

roundingT :: Tagged 'TowardInf RoundingMode

Rounding 'TowardZero

Defined in Numeric.Rounded.Hardware.Internal.Rounding

Methods

roundingT :: Tagged 'TowardZero RoundingMode

rounding :: Rounding r => proxy r -> RoundingMode

Recovers the value from type-level rounding mode.

reifyRounding :: RoundingMode -> (forall s. Rounding s => Proxy s -> a) -> a

Lifts a rounding mode to type-level.