RetroClash.CPU

Documentation

(.:=) :: (Applicative f, MonadWriter (Barbie b f) m) => Setter' (b f) (f a) -> a -> m () infix 4

assignOut :: (Applicative f, MonadWriter (Barbie b f) m) => Setter' (b f) (f a) -> a -> m ()

update :: (BareB b, ApplicativeB (b Covered)) => Pure b -> Partial b -> Pure b

type CPUM s o = WriterT (Barbie (o Covered) Last) (State s)

mealyCPU :: (BareB i, TraversableB (i Covered)) => NFDataX s => (BareB o, ApplicativeB (o Covered), DistributiveB (o Covered)) => HiddenClockResetEnable dom => s -> (s -> Pure o) -> (Pure i -> CPUM s o ()) -> Signals dom i -> Signals dom o

runCPU :: (BareB o, ApplicativeB (o Covered)) => (s -> Pure o) -> CPUM s o () -> State s (Pure o)