Copyright	(C) 2013-2016 University of Twente 2016 Myrtle Software Ltd
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	Unsafe
Language	Haskell2010
Extensions	UndecidableInstances MonoLocalBinds TemplateHaskell TemplateHaskellQuotes ScopedTypeVariables TypeFamilies DataKinds DeriveDataTypeable ConstrainedClassMethods MultiParamTypeClasses MagicHash KindSignatures GeneralizedNewtypeDeriving TypeOperators ExplicitNamespaces ExplicitForAll TypeApplications

Clash.Sized.Internal.BitVector

Contents

Bit
- Construction
- Type classes
  - Eq
  - Ord
  - Num
  - Bits
  - BitPack
BitVector

Description

Synopsis

newtype Bit = Bit {
- unsafeToInteger# :: Integer
}
high :: Bit
low :: Bit
eq## :: Bit -> Bit -> Bool
neq## :: Bit -> Bit -> Bool
lt## :: Bit -> Bit -> Bool
ge## :: Bit -> Bit -> Bool
gt## :: Bit -> Bit -> Bool
le## :: Bit -> Bit -> Bool
fromInteger## :: Integer -> Bit
and## :: Bit -> Bit -> Bit
or## :: Bit -> Bit -> Bit
xor## :: Bit -> Bit -> Bit
complement## :: Bit -> Bit
pack# :: Bit -> BitVector 1
unpack# :: BitVector 1 -> Bit
newtype BitVector (n :: Nat) = BV {
- unsafeToInteger :: Integer
}
size# :: KnownNat n => BitVector n -> Int
maxIndex# :: KnownNat n => BitVector n -> Int
bLit :: KnownNat n => String -> Q (TExp (BitVector n))
(++#) :: KnownNat m => BitVector n -> BitVector m -> BitVector (n + m)
reduceAnd# :: KnownNat n => BitVector n -> Bit
reduceOr# :: BitVector n -> Bit
reduceXor# :: BitVector n -> Bit
index# :: KnownNat n => BitVector n -> Int -> Bit
replaceBit# :: KnownNat n => BitVector n -> Int -> Bit -> BitVector n
setSlice# :: BitVector ((m + 1) + i) -> SNat m -> SNat n -> BitVector ((m + 1) - n) -> BitVector ((m + 1) + i)
slice# :: BitVector ((m + 1) + i) -> SNat m -> SNat n -> BitVector ((m + 1) - n)
split# :: forall n m. KnownNat n => BitVector (m + n) -> (BitVector m, BitVector n)
msb# :: forall n. KnownNat n => BitVector n -> Bit
lsb# :: BitVector n -> Bit
eq# :: BitVector n -> BitVector n -> Bool
neq# :: BitVector n -> BitVector n -> Bool
lt# :: BitVector n -> BitVector n -> Bool
ge# :: BitVector n -> BitVector n -> Bool
gt# :: BitVector n -> BitVector n -> Bool
le# :: BitVector n -> BitVector n -> Bool
enumFrom# :: KnownNat n => BitVector n -> [BitVector n]
enumFromThen# :: KnownNat n => BitVector n -> BitVector n -> [BitVector n]
enumFromTo# :: BitVector n -> BitVector n -> [BitVector n]
enumFromThenTo# :: BitVector n -> BitVector n -> BitVector n -> [BitVector n]
minBound# :: BitVector n
maxBound# :: forall n. KnownNat n => BitVector n
(+#) :: forall n. KnownNat n => BitVector n -> BitVector n -> BitVector n
(-#) :: forall n. KnownNat n => BitVector n -> BitVector n -> BitVector n
(*#) :: forall n. KnownNat n => BitVector n -> BitVector n -> BitVector n
negate# :: forall n. KnownNat n => BitVector n -> BitVector n
fromInteger# :: KnownNat n => Integer -> BitVector n
plus# :: BitVector m -> BitVector n -> BitVector (Max m n + 1)
minus# :: forall m n. (KnownNat m, KnownNat n) => BitVector m -> BitVector n -> BitVector (Max m n + 1)
times# :: BitVector m -> BitVector n -> BitVector (m + n)
quot# :: BitVector n -> BitVector n -> BitVector n
rem# :: BitVector n -> BitVector n -> BitVector n
toInteger# :: BitVector n -> Integer
and# :: BitVector n -> BitVector n -> BitVector n
or# :: BitVector n -> BitVector n -> BitVector n
xor# :: BitVector n -> BitVector n -> BitVector n
complement# :: KnownNat n => BitVector n -> BitVector n
shiftL# :: KnownNat n => BitVector n -> Int -> BitVector n
shiftR# :: KnownNat n => BitVector n -> Int -> BitVector n
rotateL# :: KnownNat n => BitVector n -> Int -> BitVector n
rotateR# :: KnownNat n => BitVector n -> Int -> BitVector n
popCountBV :: forall n. KnownNat n => BitVector (n + 1) -> Index (n + 2)
countLeadingZerosBV :: KnownNat n => BitVector n -> Index (n + 1)
countTrailingZerosBV :: KnownNat n => BitVector n -> Index (n + 1)
resize# :: forall n m. KnownNat m => BitVector n -> BitVector m
shrinkSizedUnsigned :: (KnownNat n, Integral (p n)) => p n -> [p n]

Bit

newtype Bit Source #

Bit

Constructors

Bit	The constructor, `Bit`, and the field, `unsafeToInteger#`, are not synthesisable.
Fields unsafeToInteger# :: Integer

Instances

Bounded Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods minBound :: Bit # maxBound :: Bit #
Enum Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods succ :: Bit -> Bit # pred :: Bit -> Bit # toEnum :: Int -> Bit # fromEnum :: Bit -> Int # enumFrom :: Bit -> [Bit] # enumFromThen :: Bit -> Bit -> [Bit] # enumFromTo :: Bit -> Bit -> [Bit] # enumFromThenTo :: Bit -> Bit -> Bit -> [Bit] #
Eq Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods (==) :: Bit -> Bit -> Bool # (/=) :: Bit -> Bit -> Bool #
Integral Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods quot :: Bit -> Bit -> Bit # rem :: Bit -> Bit -> Bit # div :: Bit -> Bit -> Bit # mod :: Bit -> Bit -> Bit # quotRem :: Bit -> Bit -> (Bit, Bit) # divMod :: Bit -> Bit -> (Bit, Bit) # toInteger :: Bit -> Integer #
Data Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Bit -> c Bit # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Bit # toConstr :: Bit -> Constr # dataTypeOf :: Bit -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Bit) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Bit) # gmapT :: (forall b. Data b => b -> b) -> Bit -> Bit # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Bit -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Bit -> r # gmapQ :: (forall d. Data d => d -> u) -> Bit -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Bit -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Bit -> m Bit # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Bit -> m Bit # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Bit -> m Bit #
Num Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods (+) :: Bit -> Bit -> Bit # (-) :: Bit -> Bit -> Bit # (*) :: Bit -> Bit -> Bit # negate :: Bit -> Bit # abs :: Bit -> Bit # signum :: Bit -> Bit # fromInteger :: Integer -> Bit #
Ord Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods compare :: Bit -> Bit -> Ordering # (<) :: Bit -> Bit -> Bool # (<=) :: Bit -> Bit -> Bool # (>) :: Bit -> Bit -> Bool # (>=) :: Bit -> Bit -> Bool # max :: Bit -> Bit -> Bit # min :: Bit -> Bit -> Bit #
Real Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods toRational :: Bit -> Rational #
Show Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods showsPrec :: Int -> Bit -> ShowS # show :: Bit -> String # showList :: [Bit] -> ShowS #
Lift Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods lift :: Bit -> Q Exp #
Bits Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods (.&.) :: Bit -> Bit -> Bit # (.\|.) :: Bit -> Bit -> Bit # xor :: Bit -> Bit -> Bit # complement :: Bit -> Bit # shift :: Bit -> Int -> Bit # rotate :: Bit -> Int -> Bit # zeroBits :: Bit # bit :: Int -> Bit # setBit :: Bit -> Int -> Bit # clearBit :: Bit -> Int -> Bit # complementBit :: Bit -> Int -> Bit # testBit :: Bit -> Int -> Bool # bitSizeMaybe :: Bit -> Maybe Int # bitSize :: Bit -> Int # isSigned :: Bit -> Bool # shiftL :: Bit -> Int -> Bit # unsafeShiftL :: Bit -> Int -> Bit # shiftR :: Bit -> Int -> Bit # unsafeShiftR :: Bit -> Int -> Bit # rotateL :: Bit -> Int -> Bit # rotateR :: Bit -> Int -> Bit # popCount :: Bit -> Int #
FiniteBits Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods finiteBitSize :: Bit -> Int # countLeadingZeros :: Bit -> Int # countTrailingZeros :: Bit -> Int #
NFData Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods rnf :: Bit -> () #
ShowX Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods showsPrecX :: Int -> Bit -> ShowS Source # showX :: Bit -> String Source # showListX :: [Bit] -> ShowS Source #
Default Bit Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods def :: Bit
BitPack Bit Source #
Instance details Defined in Clash.Class.BitPack Associated Types type BitSize Bit :: Nat Source # Methods pack :: Bit -> BitVector (BitSize Bit) Source # unpack :: BitVector (BitSize Bit) -> Bit Source #
Bundle Bit Source #
Instance details Defined in Clash.Signal.Bundle Associated Types type Unbundled domain Bit = (res :: *) Source # Methods bundle :: Unbundled domain Bit -> Signal domain Bit Source # unbundle :: Signal domain Bit -> Unbundled domain Bit Source #
type BitSize Bit Source #
Instance details Defined in Clash.Class.BitPack type BitSize Bit = 1
type Unbundled domain Bit Source #
Instance details Defined in Clash.Signal.Bundle type Unbundled domain Bit = Signal domain Bit

Construction

high :: Bit Source #

logic '1'

low :: Bit Source #

logic '0'

Type classes

BitVector

newtype BitVector (n :: Nat) Source #

A vector of bits.

Bit indices are descending
Num instance performs unsigned arithmetic.

Constructors

BV	The constructor, `BV`, and the field, `unsafeToInteger`, are not synthesisable.
Fields unsafeToInteger :: Integer

Instances

Resize BitVector Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods resize :: (KnownNat a, KnownNat b) => BitVector a -> BitVector b Source # extend :: (KnownNat a, KnownNat b) => BitVector a -> BitVector (b + a) Source # zeroExtend :: (KnownNat a, KnownNat b) => BitVector a -> BitVector (b + a) Source # signExtend :: (KnownNat a, KnownNat b) => BitVector a -> BitVector (b + a) Source # truncateB :: KnownNat a => BitVector (a + b) -> BitVector a Source #
KnownNat n => Bounded (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods minBound :: BitVector n # maxBound :: BitVector n #
KnownNat n => Enum (BitVector n) Source #	The functions: `enumFrom`, `enumFromThen`, `enumFromTo`, and `enumFromThenTo`, are not synthesisable.
Instance details Defined in Clash.Sized.Internal.BitVector Methods succ :: BitVector n -> BitVector n # pred :: BitVector n -> BitVector n # toEnum :: Int -> BitVector n # fromEnum :: BitVector n -> Int # enumFrom :: BitVector n -> [BitVector n] # enumFromThen :: BitVector n -> BitVector n -> [BitVector n] # enumFromTo :: BitVector n -> BitVector n -> [BitVector n] # enumFromThenTo :: BitVector n -> BitVector n -> BitVector n -> [BitVector n] #
Eq (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods (==) :: BitVector n -> BitVector n -> Bool # (/=) :: BitVector n -> BitVector n -> Bool #
KnownNat n => Integral (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods quot :: BitVector n -> BitVector n -> BitVector n # rem :: BitVector n -> BitVector n -> BitVector n # div :: BitVector n -> BitVector n -> BitVector n # mod :: BitVector n -> BitVector n -> BitVector n # quotRem :: BitVector n -> BitVector n -> (BitVector n, BitVector n) # divMod :: BitVector n -> BitVector n -> (BitVector n, BitVector n) # toInteger :: BitVector n -> Integer #
KnownNat n => Data (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BitVector n -> c (BitVector n) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BitVector n) # toConstr :: BitVector n -> Constr # dataTypeOf :: BitVector n -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BitVector n)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BitVector n)) # gmapT :: (forall b. Data b => b -> b) -> BitVector n -> BitVector n # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BitVector n -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BitVector n -> r # gmapQ :: (forall d. Data d => d -> u) -> BitVector n -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BitVector n -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BitVector n -> m (BitVector n) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BitVector n -> m (BitVector n) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BitVector n -> m (BitVector n) #
KnownNat n => Num (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods (+) :: BitVector n -> BitVector n -> BitVector n # (-) :: BitVector n -> BitVector n -> BitVector n # (*) :: BitVector n -> BitVector n -> BitVector n # negate :: BitVector n -> BitVector n # abs :: BitVector n -> BitVector n # signum :: BitVector n -> BitVector n # fromInteger :: Integer -> BitVector n #
Ord (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods compare :: BitVector n -> BitVector n -> Ordering # (<) :: BitVector n -> BitVector n -> Bool # (<=) :: BitVector n -> BitVector n -> Bool # (>) :: BitVector n -> BitVector n -> Bool # (>=) :: BitVector n -> BitVector n -> Bool # max :: BitVector n -> BitVector n -> BitVector n # min :: BitVector n -> BitVector n -> BitVector n #
KnownNat n => Real (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods toRational :: BitVector n -> Rational #
KnownNat n => Show (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods showsPrec :: Int -> BitVector n -> ShowS # show :: BitVector n -> String # showList :: [BitVector n] -> ShowS #
KnownNat n => Lift (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods lift :: BitVector n -> Q Exp #
KnownNat n => Bits (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods (.&.) :: BitVector n -> BitVector n -> BitVector n # (.\|.) :: BitVector n -> BitVector n -> BitVector n # xor :: BitVector n -> BitVector n -> BitVector n # complement :: BitVector n -> BitVector n # shift :: BitVector n -> Int -> BitVector n # rotate :: BitVector n -> Int -> BitVector n # zeroBits :: BitVector n # bit :: Int -> BitVector n # setBit :: BitVector n -> Int -> BitVector n # clearBit :: BitVector n -> Int -> BitVector n # complementBit :: BitVector n -> Int -> BitVector n # testBit :: BitVector n -> Int -> Bool # bitSizeMaybe :: BitVector n -> Maybe Int # bitSize :: BitVector n -> Int # isSigned :: BitVector n -> Bool # shiftL :: BitVector n -> Int -> BitVector n # unsafeShiftL :: BitVector n -> Int -> BitVector n # shiftR :: BitVector n -> Int -> BitVector n # unsafeShiftR :: BitVector n -> Int -> BitVector n # rotateL :: BitVector n -> Int -> BitVector n # rotateR :: BitVector n -> Int -> BitVector n # popCount :: BitVector n -> Int #
KnownNat n => FiniteBits (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods finiteBitSize :: BitVector n -> Int # countLeadingZeros :: BitVector n -> Int # countTrailingZeros :: BitVector n -> Int #
NFData (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods rnf :: BitVector n -> () #
KnownNat n => SaturatingNum (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods satPlus :: SaturationMode -> BitVector n -> BitVector n -> BitVector n Source # satMin :: SaturationMode -> BitVector n -> BitVector n -> BitVector n Source # satMult :: SaturationMode -> BitVector n -> BitVector n -> BitVector n Source #
KnownNat n => ShowX (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods showsPrecX :: Int -> BitVector n -> ShowS Source # showX :: BitVector n -> String Source # showListX :: [BitVector n] -> ShowS Source #
KnownNat n => Ixed (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods ix :: Index (BitVector n) -> Traversal' (BitVector n) (IxValue (BitVector n))
Default (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods def :: BitVector n
KnownNat n => Arbitrary (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods arbitrary :: Gen (BitVector n) shrink :: BitVector n -> [BitVector n]
KnownNat n => CoArbitrary (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Methods coarbitrary :: BitVector n -> Gen b -> Gen b
BitPack (BitVector n) Source #
Instance details Defined in Clash.Class.BitPack Associated Types type BitSize (BitVector n) :: Nat Source # Methods pack :: BitVector n -> BitVector (BitSize (BitVector n)) Source # unpack :: BitVector (BitSize (BitVector n)) -> BitVector n Source #
Bundle (BitVector n) Source #
Instance details Defined in Clash.Signal.Bundle Associated Types type Unbundled domain (BitVector n) = (res :: *) Source # Methods bundle :: Unbundled domain (BitVector n) -> Signal domain (BitVector n) Source # unbundle :: Signal domain (BitVector n) -> Unbundled domain (BitVector n) Source #
(KnownNat m, KnownNat n) => ExtendingNum (BitVector m) (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector Associated Types type AResult (BitVector m) (BitVector n) :: * Source # type MResult (BitVector m) (BitVector n) :: * Source # Methods plus :: BitVector m -> BitVector n -> AResult (BitVector m) (BitVector n) Source # minus :: BitVector m -> BitVector n -> AResult (BitVector m) (BitVector n) Source # times :: BitVector m -> BitVector n -> MResult (BitVector m) (BitVector n) Source #
type Unbundled domain (BitVector n) Source #
Instance details Defined in Clash.Signal.Bundle type Unbundled domain (BitVector n) = Signal domain (BitVector n)
type Index (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector type Index (BitVector n) = Int
type IxValue (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector type IxValue (BitVector n) = Bit
type BitSize (BitVector n) Source #
Instance details Defined in Clash.Class.BitPack type BitSize (BitVector n) = n
type AResult (BitVector m) (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector type AResult (BitVector m) (BitVector n) = BitVector (Max m n + 1)
type MResult (BitVector m) (BitVector n) Source #
Instance details Defined in Clash.Sized.Internal.BitVector type MResult (BitVector m) (BitVector n) = BitVector (m + n)

Accessors

size# :: KnownNat n => BitVector n -> Int Source #

maxIndex# :: KnownNat n => BitVector n -> Int Source #

Construction

bLit :: KnownNat n => String -> Q (TExp (BitVector n)) Source #

Create a binary literal

>>> $$(bLit "1001") :: BitVector 4
1001
>>> $$(bLit "1001") :: BitVector 3
001

NB: You can also just write:

>>> 0b1001 :: BitVector 4
1001

The advantage of bLit is that you can use computations to create the string literal:

>>> import qualified Data.List as List
>>> $$(bLit (List.replicate 4 '1')) :: BitVector 4
1111

Concatenation

(++#) :: KnownNat m => BitVector n -> BitVector m -> BitVector (n + m) Source #

Concatenate two BitVectors

Reduction

reduceAnd# :: KnownNat n => BitVector n -> Bit Source #

reduceOr# :: BitVector n -> Bit Source #

reduceXor# :: BitVector n -> Bit Source #

Indexing

index# :: KnownNat n => BitVector n -> Int -> Bit Source #

replaceBit# :: KnownNat n => BitVector n -> Int -> Bit -> BitVector n Source #

setSlice# :: BitVector ((m + 1) + i) -> SNat m -> SNat n -> BitVector ((m + 1) - n) -> BitVector ((m + 1) + i) Source #

slice# :: BitVector ((m + 1) + i) -> SNat m -> SNat n -> BitVector ((m + 1) - n) Source #

split# :: forall n m. KnownNat n => BitVector (m + n) -> (BitVector m, BitVector n) Source #

msb# :: forall n. KnownNat n => BitVector n -> Bit Source #

MSB

lsb# :: BitVector n -> Bit Source #

LSB

Type classes

Eq

eq# :: BitVector n -> BitVector n -> Bool Source #

neq# :: BitVector n -> BitVector n -> Bool Source #

Ord

lt# :: BitVector n -> BitVector n -> Bool Source #

ge# :: BitVector n -> BitVector n -> Bool Source #

gt# :: BitVector n -> BitVector n -> Bool Source #

le# :: BitVector n -> BitVector n -> Bool Source #

Enum (not synthesisable)

enumFrom# :: KnownNat n => BitVector n -> [BitVector n] Source #

enumFromThen# :: KnownNat n => BitVector n -> BitVector n -> [BitVector n] Source #

enumFromTo# :: BitVector n -> BitVector n -> [BitVector n] Source #

enumFromThenTo# :: BitVector n -> BitVector n -> BitVector n -> [BitVector n] Source #

Bounded

minBound# :: BitVector n Source #

maxBound# :: forall n. KnownNat n => BitVector n Source #

Num

(+#) :: forall n. KnownNat n => BitVector n -> BitVector n -> BitVector n Source #

(-#) :: forall n. KnownNat n => BitVector n -> BitVector n -> BitVector n Source #

(*#) :: forall n. KnownNat n => BitVector n -> BitVector n -> BitVector n Source #

negate# :: forall n. KnownNat n => BitVector n -> BitVector n Source #

fromInteger# :: KnownNat n => Integer -> BitVector n Source #

ExtendingNum

plus# :: BitVector m -> BitVector n -> BitVector (Max m n + 1) Source #

minus# :: forall m n. (KnownNat m, KnownNat n) => BitVector m -> BitVector n -> BitVector (Max m n + 1) Source #

times# :: BitVector m -> BitVector n -> BitVector (m + n) Source #

Integral

quot# :: BitVector n -> BitVector n -> BitVector n Source #

rem# :: BitVector n -> BitVector n -> BitVector n Source #

toInteger# :: BitVector n -> Integer Source #

Bits

and# :: BitVector n -> BitVector n -> BitVector n Source #

or# :: BitVector n -> BitVector n -> BitVector n Source #

xor# :: BitVector n -> BitVector n -> BitVector n Source #

complement# :: KnownNat n => BitVector n -> BitVector n Source #

shiftL# :: KnownNat n => BitVector n -> Int -> BitVector n Source #

shiftR# :: KnownNat n => BitVector n -> Int -> BitVector n Source #

rotateL# :: KnownNat n => BitVector n -> Int -> BitVector n Source #

rotateR# :: KnownNat n => BitVector n -> Int -> BitVector n Source #

popCountBV :: forall n. KnownNat n => BitVector (n + 1) -> Index (n + 2) Source #

FiniteBits

countLeadingZerosBV :: KnownNat n => BitVector n -> Index (n + 1) Source #

countTrailingZerosBV :: KnownNat n => BitVector n -> Index (n + 1) Source #

Resize

resize# :: forall n m. KnownNat m => BitVector n -> BitVector m Source #

QuickCheck

shrinkSizedUnsigned :: (KnownNat n, Integral (p n)) => p n -> [p n] Source #

shrink for sized unsigned types

Bit

Construction

Type classes

Eq

Ord

Num

Bits

BitPack

BitVector

Accessors

Construction

Concatenation

Reduction

Indexing

Type classes

Eq

Ord

Enum (not synthesisable)

Bounded

Num

ExtendingNum

Integral

Bits

FiniteBits

Resize

QuickCheck