Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type family ArraySize (n :: Nat) (a :: *) :: Nat
- data BitArray n a = BitArray {}
- bitLength :: forall a n. ANat n => BitArray n a -> Int
- (#!) :: forall a n. (BitData a, ANat n, ANat (BitSize a), ANat (ArraySize n a), BitCast (BitRep (ArraySize n a)) (BitDataRep a), IvoryRep (BitRep (ArraySize n a))) => BitArray n a -> Int -> a
- bitIx :: forall a n. (BitData a, ANat n, ANat (BitSize a), ANat (ArraySize n a)) => Int -> BitDataField (BitArray n a) a
Documentation
An array of "n" bit data elements of type "a".
bitLength :: forall a n. ANat n => BitArray n a -> Int Source #
Return the number of elements in a BitArray.