bin-0.1: Bin: binary natural numbers.
Safe Haskell None
Language Haskell2010

Data.Wrd

Description

Fixed- Wrd th (unsigned) integers.

Synopsis

Documentation

data Wrd (n :: Nat ) where Source #

Fixed-width unsigned integers, Wrd s for short.

The number is thought to be stored in big-endian format, i.e. most-significant bit first. (as in binary literals).

Constructors

WE :: Wrd ' Z
W0 :: Wrd n -> Wrd (' S n)
W1 :: Wrd n -> Wrd (' S n)

Instances

Instances details
SNatI n => Bounded ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

minBound :: Wrd n Source #

maxBound :: Wrd n Source #

Eq ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

(==) :: Wrd n -> Wrd n -> Bool Source #

(/=) :: Wrd n -> Wrd n -> Bool Source #

SNatI n => Num ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

(+) :: Wrd n -> Wrd n -> Wrd n Source #

(-) :: Wrd n -> Wrd n -> Wrd n Source #

(*) :: Wrd n -> Wrd n -> Wrd n Source #

negate :: Wrd n -> Wrd n Source #

abs :: Wrd n -> Wrd n Source #

signum :: Wrd n -> Wrd n Source #

fromInteger :: Integer -> Wrd n Source #

Ord ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

compare :: Wrd n -> Wrd n -> Ordering Source #

(<) :: Wrd n -> Wrd n -> Bool Source #

(<=) :: Wrd n -> Wrd n -> Bool Source #

(>) :: Wrd n -> Wrd n -> Bool Source #

(>=) :: Wrd n -> Wrd n -> Bool Source #

max :: Wrd n -> Wrd n -> Wrd n Source #

min :: Wrd n -> Wrd n -> Wrd n Source #

Show ( Wrd n) Source #

Wrd is printed as a binary literal. 

>>> let i = W1 $ W0 $ W1 $ W0 WE
>>> i
0b1010

>>> explicitShow i
"W1 $ W0 $ W1 $ W0 WE"

At the time being, there is no Num instance.

Instance details

Defined in Data.Wrd

Methods

showsPrec :: Int -> Wrd n -> ShowS Source #

show :: Wrd n -> String Source #

showList :: [ Wrd n] -> ShowS Source #

SNatI n => Function ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

function :: ( Wrd n -> b) -> Wrd n :-> b Source #

SNatI n => Arbitrary ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

arbitrary :: Gen ( Wrd n) Source #

shrink :: Wrd n -> [ Wrd n] Source #

CoArbitrary ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

coarbitrary :: Wrd n -> Gen b -> Gen b Source #

SNatI n => Bits ( Wrd n) Source # 
>>> let u = W0 $ W0 $ W1 $ W1 WE
>>> let v = W0 $ W1 $ W0 $ W1 WE
>>> (u, v)
(0b0011,0b0101)

>>> (complement u, complement v)
(0b1100,0b1010)

>>> (u .&. v, u .|. v, u `xor` v)
(0b0001,0b0111,0b0110)

>>> (shiftR v 1, shiftL v 1)
(0b0010,0b1010)

>>> (rotateR u 1, rotateL u 3)
(0b1001,0b1001)

>>> popCount u
2
Instance details

Defined in Data.Wrd

Methods

(.&.) :: Wrd n -> Wrd n -> Wrd n Source #

(.|.) :: Wrd n -> Wrd n -> Wrd n Source #

xor :: Wrd n -> Wrd n -> Wrd n Source #

complement :: Wrd n -> Wrd n Source #

shift :: Wrd n -> Int -> Wrd n Source #

rotate :: Wrd n -> Int -> Wrd n Source #

zeroBits :: Wrd n Source #

bit :: Int -> Wrd n Source #

setBit :: Wrd n -> Int -> Wrd n Source #

clearBit :: Wrd n -> Int -> Wrd n Source #

complementBit :: Wrd n -> Int -> Wrd n Source #

testBit :: Wrd n -> Int -> Bool Source #

bitSizeMaybe :: Wrd n -> Maybe Int Source #

bitSize :: Wrd n -> Int Source #

isSigned :: Wrd n -> Bool Source #

shiftL :: Wrd n -> Int -> Wrd n Source #

unsafeShiftL :: Wrd n -> Int -> Wrd n Source #

shiftR :: Wrd n -> Int -> Wrd n Source #

unsafeShiftR :: Wrd n -> Int -> Wrd n Source #

rotateL :: Wrd n -> Int -> Wrd n Source #

rotateR :: Wrd n -> Int -> Wrd n Source #

popCount :: Wrd n -> Int Source #

SNatI n => FiniteBits ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

finiteBitSize :: Wrd n -> Int Source #

countLeadingZeros :: Wrd n -> Int Source #

countTrailingZeros :: Wrd n -> Int Source #

NFData ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

rnf :: Wrd n -> () Source #

Hashable ( Wrd n) Source #
Instance details

Defined in Data.Wrd

Methods

hashWithSalt :: Int -> Wrd n -> Int Source #

hash :: Wrd n -> Int Source #

Showing

explicitShow :: Wrd n -> String Source #

show displaying a structure of Wrd n 

>>> explicitShow WE
"WE"

>>> explicitShow $ W0 WE
"W0 WE"

>>> explicitShow $ W1 $ W0 $ W1 $ W0 WE
"W1 $ W0 $ W1 $ W0 WE"

explicitShowsPrec :: Int -> Wrd n -> ShowS Source #

showsPrec displaying a structure of Wrd n . 

>>> explicitShowsPrec 0 (W0 WE) ""
"W0 WE"

>>> explicitShowsPrec 1 (W0 WE) ""
"(W0 WE)"

Conversions

toNatural :: Wrd n -> Natural Source #

Convert to Natural number 

>>> let u = W0 $ W1 $ W1 $ W1 $ W0 $ W1 $ W0 WE
>>> u
0b0111010

>>> toNatural u
58

>>> map toNatural (universe :: [Wrd N.Nat3])
[0,1,2,3,4,5,6,7]

Universe

universe :: forall n. SNatI n => [ Wrd n] Source #

All values, i.e. universe of Wrd . 

>>> universe :: [Wrd 'Z]
[WE]

>>> universe :: [Wrd N.Nat3]
[0b000,0b001,0b010,0b011,0b100,0b101,0b110,0b111]

Bits

We have implementation of some Bits members, which doesn't need SNatI constraint.

xor :: Wrd n -> Wrd n -> Wrd n Source #

(.&.) :: Wrd n -> Wrd n -> Wrd n Source #

(.|.) :: Wrd n -> Wrd n -> Wrd n Source #

complement :: Wrd n -> Wrd n Source #

complement2 :: Wrd n -> Wrd n Source # 

complement2 w = complement w + 1

shiftR :: Wrd n -> Int -> Wrd n Source #

shiftL :: Wrd n -> Int -> Wrd n Source #

rotateL :: Wrd n -> Int -> Wrd n Source #

rotateR :: Wrd n -> Int -> Wrd n Source #

popCount :: Wrd n -> Int Source #

setBit :: Wrd n -> Int -> Wrd n Source #

clearBit :: Wrd n -> Int -> Wrd n Source #

complementBit :: Wrd n -> Int -> Wrd n Source #

testBit :: Wrd n -> Int -> Bool Source #

Extras

shiftL1 :: Wrd n -> Wrd n Source #

shiftR1 :: Wrd n -> Wrd n Source #

rotateL1 :: Wrd n -> Wrd n Source #

rotateR1 :: Wrd n -> Wrd n Source #