Ivory.Language.BitData.BitData

Documentation

class (ANat (BitSize (BitType a)), IvoryRep (BitDataRep a), BitType a ~ Bits (BitSize (BitType a))) => BitData a where

Class of bit data types defined by the "bitdata" quasiquoter.

Associated Types

type BitType a :: *

Return the base "(Bits n)" type as defined in the "bitdata" quasiquoter.

Methods

toBits :: a -> BitType a

Convert a bit data type to its raw bit value. This is always well defined and should be exported.

fromBits :: BitType a -> a

Convert a raw bit value to a bit data type. All values may not be well defined with respect to the original set of bit data constructors. For now, we allow these "junk" values to be created, but that may change in the future (perhaps by implementing a checked, Ivory run-time conversion).

Instances

(ANat n, IvoryRep (BitRep n)) => BitData (Bits n)

Identity instance of BitData for the base "Bits n" type.

(ANat n, ANat (ArraySize n a), BitData a, IvoryRep (BitRep (ArraySize n a))) => BitData (BitArray n a)

type BitDataRep a = BitRep (BitSize (BitType a))

The Ivory type that stores the actual value for a bit data type.

This is a shorthand to simplify the constraints on functions that take arguments of the BitData class.

fromRep :: BitData a => BitDataRep a -> a

Convert a raw Ivory type to a bit data type. If the input value is too large, the out of range upper bits will be masked off.

unsafeFromRep :: BitData a => BitDataRep a -> a

toRep :: BitData a => a -> BitDataRep a

Convert a bit data value to its Ivory representation.

data BitDataField a b

Description of a bit field defined by the "bitdata" quasiquoter. Each field defined in the record syntax will generate a top-level definition of BitDataField.

This constructor must remain unexported so that only fields checked by the quasiquoter are created.

Constructors

BitDataField

Fields

bitDataFieldPos :: Int

bitDataFieldLen :: Int

bitDataFieldName :: String

Instances

Show (BitDataField a b)

(#>) :: BitDataField a b -> BitDataField b c -> BitDataField a c

Bit data field composition. (like Control.Category.>>>)

getBitDataField :: (BitData a, BitData b, BitCast (BitDataRep a) (BitDataRep b)) => BitDataField a b -> a -> b

Extract a field from a bit data definition. Returns the value as the type defined on the right hand side of the field definition in the "bitdata" quasiquoter.

(#.) :: (BitData a, BitData b, BitCast (BitDataRep a) (BitDataRep b)) => a -> BitDataField a b -> b

Infix operator to read a bit data field. (like Data.Lens.^.)

setBitDataField :: (BitData a, BitData b, SafeCast (BitDataRep b) (BitDataRep a)) => BitDataField a b -> a -> b -> a

Set a field from a bit data definition.

setBitDataBit :: BitData a => BitDataField a Bit -> a -> a

Set a single-bit field in a bit data value.

clearBitDataBit :: BitData a => BitDataField a Bit -> a -> a

Clear a single-bit field in a bit data value.

bitToBool :: Bit -> IBool

Convert a single bit bitdata to an Ivory boolean.

boolToBit :: IBool -> Bit

Convert an Ivory boolean to a single bit.