Numeric.MixedTypes.Round

Rounded division + modulus

class CanDivIMod t1 t2 where

Minimal complete definition

divIMod

Associated Types

type DivIType t1 t2

type DivIType t1 t2 = CN Integer

type ModType t1 t2

type ModType t1 t2 = EnsureCN t1

Methods

divIMod :: t1 -> t2 -> (DivIType t1 t2, ModType t1 t2)

mod :: t1 -> t2 -> ModType t1 t2

divI :: t1 -> t2 -> DivIType t1 t2

Instances

CanDivIMod Double Double

Defined in Numeric.MixedTypes.Round

Associated Types

type DivIType Double Double

type ModType Double Double

Methods

divIMod :: Double -> Double -> (DivIType Double Double, ModType Double Double)

mod :: Double -> Double -> ModType Double Double

divI :: Double -> Double -> DivIType Double Double

CanDivIMod Double Integer

Defined in Numeric.MixedTypes.Round

Associated Types

type DivIType Double Integer

type ModType Double Integer

Methods

divIMod :: Double -> Integer -> (DivIType Double Integer, ModType Double Integer)

mod :: Double -> Integer -> ModType Double Integer

divI :: Double -> Integer -> DivIType Double Integer

CanDivIMod Integer Integer

Defined in Numeric.MixedTypes.Round

Associated Types

type DivIType Integer Integer

type ModType Integer Integer

Methods

divIMod :: Integer -> Integer -> (DivIType Integer Integer, ModType Integer Integer)

mod :: Integer -> Integer -> ModType Integer Integer

divI :: Integer -> Integer -> DivIType Integer Integer

CanDivIMod Rational Integer

Defined in Numeric.MixedTypes.Round

Associated Types

type DivIType Rational Integer

type ModType Rational Integer

Methods

divIMod :: Rational -> Integer -> (DivIType Rational Integer, ModType Rational Integer)

mod :: Rational -> Integer -> ModType Rational Integer

divI :: Rational -> Integer -> DivIType Rational Integer

CanDivIMod Rational Rational

Defined in Numeric.MixedTypes.Round

Associated Types

type DivIType Rational Rational

type ModType Rational Rational

Methods

divIMod :: Rational -> Rational -> (DivIType Rational Rational, ModType Rational Rational)

mod :: Rational -> Rational -> ModType Rational Rational

divI :: Rational -> Rational -> DivIType Rational Rational

type CanDivIModIntegerSameType t = (CanDivIMod t t, CanEnsureCN t, DivIType t t ~ CN Integer, ModType t t ~ EnsureCN t)

modNoCN :: (CanDivIMod t1 t2, ModType t1 t2 ~ EnsureCN t1, CanEnsureCN t1) => t1 -> t2 -> t1

divINoCN :: (CanDivIMod t1 t2, DivIType t1 t2 ~ CN Integer) => t1 -> t2 -> Integer

divIModNoCN :: (CanDivIMod t1 t2, ModType t1 t2 ~ EnsureCN t1, CanEnsureCN t1, DivIType t1 t2 ~ CN Integer) => t1 -> t2 -> (Integer, t1)

Rounding

class CanRound t where

A replacement for Prelude's RealFrac operations, such as round in which the result type is fixed to Integer.

If RealFrac t and CanTestPosNeg t, then one can use the default implementation to mirror Prelude's round, etc.

In other cases, it is sufficient to define properFraction.

Minimal complete definition

Nothing

Methods

properFraction :: t -> (Integer, t)

default properFraction :: RealFrac t => t -> (Integer, t)

truncate :: t -> Integer

round :: t -> Integer

default round :: HasOrderCertainly t Rational => t -> Integer

ceiling :: t -> Integer

default ceiling :: CanTestPosNeg t => t -> Integer

floor :: t -> Integer

default floor :: CanTestPosNeg t => t -> Integer

Instances

CanRound Double

Defined in Numeric.MixedTypes.Round

Methods

properFraction :: Double -> (Integer, Double)

truncate :: Double -> Integer

round :: Double -> Integer

ceiling :: Double -> Integer

floor :: Double -> Integer

CanRound Rational

Defined in Numeric.MixedTypes.Round

Methods

properFraction :: Rational -> (Integer, Rational)

truncate :: Rational -> Integer

round :: Rational -> Integer

ceiling :: Rational -> Integer

floor :: Rational -> Integer

class HasIntegerBounds t where

Minimal complete definition

Nothing

Methods

integerBounds :: t -> (Integer, Integer)

default integerBounds :: CanRound t => t -> (Integer, Integer)

Instances

HasIntegerBounds Double

Defined in Numeric.MixedTypes.Round

Methods

integerBounds :: Double -> (Integer, Integer)

HasIntegerBounds Int

Defined in Numeric.MixedTypes.Round

Methods

integerBounds :: Int -> (Integer, Integer)

HasIntegerBounds Integer

Defined in Numeric.MixedTypes.Round

Methods

integerBounds :: Integer -> (Integer, Integer)

HasIntegerBounds Rational

Defined in Numeric.MixedTypes.Round

Methods

integerBounds :: Rational -> (Integer, Integer)

Tests

specCanDivIMod :: (CanDivIModX t, HasIntegers t) => T t -> Spec

HSpec properties that each implementation of CanRound should satisfy.

specCanRound :: (CanRoundX t, HasIntegers t) => T t -> Spec

HSpec properties that each implementation of CanRound should satisfy.

specHasIntegerBounds :: HasIntegerBoundsX t => T t -> Spec

HSpec properties that each implementation of CanRound should satisfy.