Ivory.HW.BitData

Documentation

data BitDataReg d

A register associated with a bit data type.

Constructors

BitDataReg

Fields

• bdr_reg :: Reg (BitDataRep d)
• bdr_name :: Maybe String

bdrComment :: BitDataReg d -> String -> String -> Ivory eff ()

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

Create a bit data register given its address.

mkBitDataRegNamed :: IvoryIOReg (BitDataRep d) => Integer -> String -> BitDataReg d

Create a bit data register given its address and name.

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.