Ivory.HW.BitData

Documentation

newtype BitDataReg d

A register associated with a bit data type.

Constructors

BitDataReg (Reg (BitDataRep d))

mkBitDataReg :: IvoryIOReg (BitDataRep d) => Integer -> BitDataReg d

Create a bit data register given its address.

getReg :: (BitData d, IvoryIOReg (BitDataRep d)) => BitDataReg d -> Ivory eff d

setReg :: (BitData d, IvoryIOReg (BitDataRep d)) => BitDataReg d -> BitDataM d a -> Ivory eff a

Set a register to a value taken from a block of bit modifications. The previous value is discarded.

modifyReg :: (BitData d, IvoryIOReg (BitDataRep d)) => BitDataReg d -> BitDataM d a -> Ivory eff a

Modify a register by a set of bit modification actions.