Ivory.Language.IIntegral

Documentation

class (IvoryExpr a, Num a) => IvoryIntegral a where

Integral, without the baggage from Haskell (i.e., supertypes of Real and Enum).

Methods

iDiv :: a -> a -> a

Has C semantics: like Haskell's quot (truncate towards 0).

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

Has C semantics: like Haskell's rem.

Instances

IvoryIntegral Sint64

IvoryIntegral Sint32

IvoryIntegral Sint16

IvoryIntegral Sint8

IvoryIntegral Uint64

IvoryIntegral Uint32

IvoryIntegral Uint16

IvoryIntegral Uint8

iDivE :: Expr -> Expr -> Expr

Has C semantics: like Haskell's quot (truncate towards 0).

iModE :: Expr -> Expr -> Expr

Has C semantics: like Haskell's rem.