Numeric.MixedTypes.Round

Rounded division + modulus

class CanDivIMod t1 t2 where

Minimal complete definition

divIMod

Associated Types

type DivIType t1 t2

type ModType t1 t2

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

type ModType Double Double :: Type

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

type ModType Double Integer :: Type

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

type ModType Integer Integer :: Type

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

type ModType Rational Integer :: Type

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

type ModType Rational Rational :: Type

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)

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

truncate :: t -> Integer

round :: t -> Integer

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

ceiling :: t -> Integer

ceiling :: CanTestPosNeg t => t -> Integer

floor :: t -> Integer

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)

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.