Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class MaskBits a where
- makeMaskDyn :: Word -> a
- makeMaskFinite :: forall a. (ShiftableBits a, FiniteBits a, KnownNat (BitSize a), Bitwise a) => Word -> a
- makeMask :: forall n a. (KnownNat n, MaskBits a) => a
- maskDyn :: (MaskBits a, Bitwise a) => Word -> a -> a
- type Maskable n a = (MaskBits a, Bitwise a, KnownNat n)
- mask :: forall n a. Maskable n a => a -> a
Documentation
class MaskBits a where Source #
makeMaskDyn :: Word -> a Source #
Make a mask dynamically
Instances
makeMaskFinite :: forall a. (ShiftableBits a, FiniteBits a, KnownNat (BitSize a), Bitwise a) => Word -> a Source #
makeMaskFinite 3 = 00000111