RetroClash.Memory

Documentation

type RAM dom addr dat = Signal dom addr -> Signal dom (Maybe (addr, dat)) -> Signal dom dat

type ROM dom addr dat = Signal dom addr -> Signal dom dat

type Port dom addr dat a = Signal dom (Maybe (PortCommand addr dat)) -> (Signal dom dat, a)

type Port_ dom addr dat = Signal dom (Maybe (PortCommand addr dat)) -> Signal dom dat

packRam :: BitPack dat => RAM dom addr (BitVector (BitSize dat)) -> RAM dom addr dat

data Handle addr

mapH :: ExpQ -> Handle addr' -> Addressing addr (Handle addr')

data Addressing addr a

Instances

Monad (Addressing addr)

Defined in RetroClash.Memory

Methods

(>>=) :: Addressing addr a -> (a -> Addressing addr b) -> Addressing addr b

(>>) :: Addressing addr a -> Addressing addr b -> Addressing addr b

return :: a -> Addressing addr a

Functor (Addressing addr)

Defined in RetroClash.Memory

Methods

fmap :: (a -> b) -> Addressing addr a -> Addressing addr b

(<$) :: a -> Addressing addr b -> Addressing addr a

Applicative (Addressing addr)

Defined in RetroClash.Memory

Methods

pure :: a -> Addressing addr a

(<*>) :: Addressing addr (a -> b) -> Addressing addr a -> Addressing addr b

liftA2 :: (a -> b -> c) -> Addressing addr a -> Addressing addr b -> Addressing addr c

(*>) :: Addressing addr a -> Addressing addr b -> Addressing addr b

(<*) :: Addressing addr a -> Addressing addr b -> Addressing addr a

memoryMap :: forall addr a. Backpane a => Addr -> Dat -> Addressing addr a -> Component

memoryMap_ :: forall addr dat. Addr -> Dat -> Addressing addr () -> Dat

conduit :: forall addr' addr. ExpQ -> Addressing addr (Handle addr', Result, Result)

readWrite :: forall addr' addr. (Addr -> Dat -> Component) -> Addressing addr (Handle addr', Result)

readWrite_ :: forall addr' addr. (Addr -> Dat -> Dat) -> Addressing addr (Handle addr')

romFromVec :: 1 <= n => SNat n -> ExpQ -> Addressing addr (Handle (Index n))

romFromFile :: 1 <= n => SNat n -> ExpQ -> Addressing addr (Handle (Index n))

ram0 :: 1 <= n => SNat n -> Addressing addr (Handle (Index n))

ramFromFile :: SNat n -> ExpQ -> Addressing addr (Handle (Index n))

port :: forall addr' a addr. ExpQ -> Addressing addr (Handle addr', Result)

port_ :: forall addr' addr. ExpQ -> Addressing addr (Handle addr')

connect :: Handle addr -> Addressing addr ()

override :: ExpQ -> Addressing addr ()

from :: forall addr' addr a. (Typeable addr', Lift addr) => (Integral addr, Ord addr, Integral addr', Bounded addr') => addr -> Addressing addr' a -> Addressing addr a

matchJust :: Addressing addr a -> Addressing (Maybe addr) a

matchLeft :: Addressing addr1 a -> Addressing (Either addr1 addr2) a

matchRight :: Addressing addr2 a -> Addressing (Either addr1 addr2) a

tag :: Lift addr' => addr' -> Addressing (addr', addr) a -> Addressing addr a