Safe Haskell	None
Language	Haskell2010

Ivory.HW.Reg

Synopsis

data Reg t = Reg Integer
mkReg :: forall t. IvoryIOReg t => Integer -> Reg t
readReg :: IvoryIOReg a => Reg a -> Ivory eff a
writeReg :: IvoryIOReg a => Reg a -> a -> Ivory eff ()

Documentation

data Reg t Source #

An I/O register containing a value of type "t". Define registers using the "mkReg" functions.

Constructors

Reg Integer

mkReg :: forall t. IvoryIOReg t => Integer -> Reg t Source #

Previously, this was a smart constructor to raise an error if the address is invalid, but we didn't find a way to parameterize the valid address space by the platform, so now mkReg accepts all addresses.

readReg :: IvoryIOReg a => Reg a -> Ivory eff a Source #

Read an I/O register, returning an Ivory value.

writeReg :: IvoryIOReg a => Reg a -> a -> Ivory eff () Source #

Write an I/O register from an Ivory value.