Safe Haskell | None |
---|
- 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
mkReg :: forall t. IvoryIOReg t => Integer -> Reg tSource
Smart constructor that ensures a register address is in bounds when created. This raises an error if the address is invalid.
readReg :: IvoryIOReg a => Reg a -> Ivory eff aSource
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.