Clash.Num.Overflowing

Documentation

data Overflowing a

An overflowing number behaves similarly to a Wrapping number, but also includes an overflow status flag which can be used to more easily check if an overflow has occurred.

Numbers can be converted to be Overflowing using toOverflowing.

Instances

Bounded a => Bounded (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

minBound :: Overflowing a

maxBound :: Overflowing a

(Enum a, Eq a, SaturatingNum a) => Enum (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

succ :: Overflowing a -> Overflowing a

pred :: Overflowing a -> Overflowing a

toEnum :: Int -> Overflowing a

fromEnum :: Overflowing a -> Int

enumFrom :: Overflowing a -> [Overflowing a]

enumFromThen :: Overflowing a -> Overflowing a -> [Overflowing a]

enumFromTo :: Overflowing a -> Overflowing a -> [Overflowing a]

enumFromThenTo :: Overflowing a -> Overflowing a -> Overflowing a -> [Overflowing a]

Eq a => Eq (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

(==) :: Overflowing a -> Overflowing a -> Bool

(/=) :: Overflowing a -> Overflowing a -> Bool

(Fractional a, Ord a, SaturatingNum a) => Fractional (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

(/) :: Overflowing a -> Overflowing a -> Overflowing a

recip :: Overflowing a -> Overflowing a

fromRational :: Rational -> Overflowing a

(Integral a, SaturatingNum a) => Integral (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

quot :: Overflowing a -> Overflowing a -> Overflowing a

rem :: Overflowing a -> Overflowing a -> Overflowing a

div :: Overflowing a -> Overflowing a -> Overflowing a

mod :: Overflowing a -> Overflowing a -> Overflowing a

quotRem :: Overflowing a -> Overflowing a -> (Overflowing a, Overflowing a)

divMod :: Overflowing a -> Overflowing a -> (Overflowing a, Overflowing a)

toInteger :: Overflowing a -> Integer

(Bounded a, Ord a, SaturatingNum a) => Num (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

(+) :: Overflowing a -> Overflowing a -> Overflowing a

(-) :: Overflowing a -> Overflowing a -> Overflowing a

(*) :: Overflowing a -> Overflowing a -> Overflowing a

negate :: Overflowing a -> Overflowing a

abs :: Overflowing a -> Overflowing a

signum :: Overflowing a -> Overflowing a

fromInteger :: Integer -> Overflowing a

Ord a => Ord (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

compare :: Overflowing a -> Overflowing a -> Ordering

(<) :: Overflowing a -> Overflowing a -> Bool

(<=) :: Overflowing a -> Overflowing a -> Bool

(>) :: Overflowing a -> Overflowing a -> Bool

(>=) :: Overflowing a -> Overflowing a -> Bool

max :: Overflowing a -> Overflowing a -> Overflowing a

min :: Overflowing a -> Overflowing a -> Overflowing a

(Real a, SaturatingNum a) => Real (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

toRational :: Overflowing a -> Rational

(RealFrac a, SaturatingNum a) => RealFrac (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

properFraction :: Integral b => Overflowing a -> (b, Overflowing a)

truncate :: Integral b => Overflowing a -> b

round :: Integral b => Overflowing a -> b

ceiling :: Integral b => Overflowing a -> b

floor :: Integral b => Overflowing a -> b

Show a => Show (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

showsPrec :: Int -> Overflowing a -> ShowS

show :: Overflowing a -> String

showList :: [Overflowing a] -> ShowS

Generic (Overflowing a)

Defined in Clash.Num.Overflowing

Associated Types

type Rep (Overflowing a) :: Type -> Type

Methods

from :: Overflowing a -> Rep (Overflowing a) x

to :: Rep (Overflowing a) x -> Overflowing a

Binary a => Binary (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

put :: Overflowing a -> Put

get :: Get (Overflowing a)

putList :: [Overflowing a] -> Put

NFData a => NFData (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

rnf :: Overflowing a -> ()

Hashable a => Hashable (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

hashWithSalt :: Int -> Overflowing a -> Int

hash :: Overflowing a -> Int

NFDataX a => NFDataX (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

deepErrorX :: String -> Overflowing a

hasUndefined :: Overflowing a -> Bool

ensureSpine :: Overflowing a -> Overflowing a

rnfX :: Overflowing a -> ()

ShowX a => ShowX (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

showsPrecX :: Int -> Overflowing a -> ShowS

showX :: Overflowing a -> String

showListX :: [Overflowing a] -> ShowS

(BitPack a, KnownNat (BitSize a + 1)) => BitPack (Overflowing a)

Defined in Clash.Num.Overflowing

Associated Types

type BitSize (Overflowing a) :: Nat

Methods

pack :: Overflowing a -> BitVector (BitSize (Overflowing a))

unpack :: BitVector (BitSize (Overflowing a)) -> Overflowing a

Parity a => Parity (Overflowing a)

Defined in Clash.Num.Overflowing

Methods

even :: Overflowing a -> Bool

odd :: Overflowing a -> Bool

type Rep (Overflowing a)

Defined in Clash.Num.Overflowing

type Rep (Overflowing a) = D1 ('MetaData "Overflowing" "Clash.Num.Overflowing" "clash-prelude-1.6.6-inplace" 'False) (C1 ('MetaCons "Overflowing" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromOverflowing") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "hasOverflowed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

type BitSize (Overflowing a)

Defined in Clash.Num.Overflowing

type BitSize (Overflowing a) = BitSize a + 1

fromOverflowing :: Overflowing a -> a

Retrieve the value

hasOverflowed :: Overflowing a -> Bool

True when a computation has overflowed

toOverflowing :: a -> Overflowing a

clearOverflow :: Overflowing a -> Overflowing a

Reset the overflow status flag to False.