Safe Haskell	None
Language	Haskell2010

Ivory.Language.IIntegral

Synopsis

class (IvoryExpr a, IvoryOrd a, Num a) => IvoryIntegral a where
- iDiv :: a -> a -> a
- (.%) :: a -> a -> a
(./) :: IvoryIntegral a => a -> a -> a
iRem :: IvoryIntegral a => a -> a -> a

Documentation

class (IvoryExpr a, IvoryOrd a, Num a) => IvoryIntegral a where Source #

Integral, without the baggage from Haskell (i.e., supertypes of Real and Enum). Defines Euclidian division (rather than truncated division). See http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.8522. Notable properties, beyond the normal div/rem properties, are that

The remainder is always non-negative. For d1 < 0, d0 iDiv (-d1) == -(d0 iDiv d1). For d1 < 0, d0 .% (-d1) == d0 .% d1.

N.B. mod and rem are equal if both args are positive, and C has no mod operator (only rem). In Haskell and C, both mod and rem may return negative values. Furthermore, before C99, the result of rem is implementation-defined.

Minimal complete definition

Nothing

Methods

iDiv :: a -> a -> a Source #

Euclidean division.

(.%) :: a -> a -> a Source #

Euclidean remainder.

Instances

IvoryIntegral Sint64 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint64 -> Sint64 -> Sint64 Source # (.%) :: Sint64 -> Sint64 -> Sint64 Source #
IvoryIntegral Sint32 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint32 -> Sint32 -> Sint32 Source # (.%) :: Sint32 -> Sint32 -> Sint32 Source #
IvoryIntegral Sint16 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint16 -> Sint16 -> Sint16 Source # (.%) :: Sint16 -> Sint16 -> Sint16 Source #
IvoryIntegral Sint8 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Sint8 -> Sint8 -> Sint8 Source # (.%) :: Sint8 -> Sint8 -> Sint8 Source #
IvoryIntegral Uint64 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Uint64 -> Uint64 -> Uint64 Source # (.%) :: Uint64 -> Uint64 -> Uint64 Source #
IvoryIntegral Uint32 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Uint32 -> Uint32 -> Uint32 Source # (.%) :: Uint32 -> Uint32 -> Uint32 Source #
IvoryIntegral Uint16 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Uint16 -> Uint16 -> Uint16 Source # (.%) :: Uint16 -> Uint16 -> Uint16 Source #
IvoryIntegral Uint8 Source #
Instance details Defined in Ivory.Language.IIntegral Methods iDiv :: Uint8 -> Uint8 -> Uint8 Source # (.%) :: Uint8 -> Uint8 -> Uint8 Source #

(./) :: IvoryIntegral a => a -> a -> a Source #

iRem :: IvoryIntegral a => a -> a -> a Source #