ForSyDe-3.0: ForSyDe's Haskell-embedded Domain Specific Language. Source code Contents Index

ForSyDe.Shallow.BitVector Portability portable Stability experimental Maintainer forsyde-dev@ict.kth.se

Contents Polynomial data type Bit-vector and integer transformations Add even/odd parity bit Remove parity bit Check the even/odd parity of the bit-vector Judge the form sanity of the bit-vector

Description

It defines the bit vector operations from/to integer.

Synopsis

type BitVector = Vector Integer data Parity = Even | Odd intToBitVector :: Int -> Integer -> BitVector bitVectorToInt :: BitVector -> Integer addEvenParityBit :: Num a => Vector a -> Vector a addOddParityBit :: Num a => Vector a -> Vector a addParityBit :: Num a => Parity -> Vector a -> Vector a removeParityBit :: Num t => Vector t -> Vector t isEvenParity :: Num t => Vector t -> Bool isOddParity :: Num t => Vector t -> Bool isBitVector :: Num t => Vector t -> Bool

Polynomial data type

type BitVector = Vector Integer Source

data Parity Source

Constructors Even Odd Instances Eq Parity Show Parity

Bit-vector and integer transformations

intToBitVector Source

:: Int Num of the bits -> Integer The input integer -> BitVector The output bit-vector To transform the input integer to a bit-vector with specified number of bits.

bitVectorToInt :: BitVector -> Integer Source

To transform the input bit-vecotr to an integer.

Add even/odd parity bit

addEvenParityBit :: Num a => Vector a -> Vector a Source

To add even parity bit on the bit-vector in the tail.

addOddParityBit :: Num a => Vector a -> Vector a Source

To add odd parity bit on the bit-vector in the tail.

addParityBit :: Num a => Parity -> Vector a -> Vector a Source

Remove parity bit

removeParityBit :: Num t => Vector t -> Vector t Source

To remove the parity bit in the tail.

Check the even/odd parity of the bit-vector

isEvenParity :: Num t => Vector t -> Bool Source

To check the even parity of the bit-vector.

isOddParity :: Num t => Vector t -> Bool Source

To check the odd parity of the bit-vector.

Judge the form sanity of the bit-vector

isBitVector Source

:: Num t => Vector t Input bit-vector -> Bool Output boolean value To judge whether the input bit-vector is in a proper form.

Produced by Haddock version 2.1.0