Safe Haskell	None
Language	Haskell2010

Numeric.Rounded.Hardware.Rounding

Synopsis

data RoundingMode
- = ToNearest
- | TowardNegInf
- | TowardInf
- | TowardZero
oppositeRoundingMode :: RoundingMode -> RoundingMode
class Rounding (r :: RoundingMode)
rounding :: Rounding r => proxy r -> RoundingMode
reifyRounding :: RoundingMode -> (forall s. Rounding s => Proxy s -> a) -> a

Documentation

data RoundingMode Source #

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 Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods minBound :: RoundingMode # maxBound :: RoundingMode #
Enum RoundingMode Source #
Instance details 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 Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods (==) :: RoundingMode -> RoundingMode -> Bool # (/=) :: RoundingMode -> RoundingMode -> Bool #
Ord RoundingMode Source #
Instance details 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 Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods readsPrec :: Int -> ReadS RoundingMode # readList :: ReadS [RoundingMode] # readPrec :: ReadPrec RoundingMode # readListPrec :: ReadPrec [RoundingMode] #
Show RoundingMode Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods showsPrec :: Int -> RoundingMode -> ShowS # show :: RoundingMode -> String # showList :: [RoundingMode] -> ShowS #
Generic RoundingMode Source #
Instance details 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 Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods rnf :: RoundingMode -> () #
type Rep RoundingMode Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding type Rep RoundingMode = D1 (MetaData "RoundingMode" "Numeric.Rounded.Hardware.Internal.Rounding" "rounded-hw-0.1.0.0-Ifb4HiKrB91HX8bvMjgd5p" 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 Source #

Returns the opposite rounding direction.

TowardNegInf and TowardInf are swapped.

class Rounding (r :: RoundingMode) Source #

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

See rounding.

Minimal complete definition

roundingT

Instances

Rounding ToNearest Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods roundingT :: Tagged ToNearest RoundingMode
Rounding TowardNegInf Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods roundingT :: Tagged TowardNegInf RoundingMode
Rounding TowardInf Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods roundingT :: Tagged TowardInf RoundingMode
Rounding TowardZero Source #
Instance details Defined in Numeric.Rounded.Hardware.Internal.Rounding Methods roundingT :: Tagged TowardZero RoundingMode

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

Recovers the value from type-level rounding mode.

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

Lifts a rounding mode to type-level.