crem icon indicating copy to clipboard operation
crem copied to clipboard

unify `Compose` and `Klesli`

Open marcosh opened this issue 2 years ago • 0 comments

Currently we have both the Compose and Kleisli constructors. They are fairly similar, but both needed.

It would be nice to be able to unify them. This could depend on understanding a meaningful way to emit multiple outputs from the same machine (meaning that StateMachine a b could emit multiple outputs of type b). The main issue I see with this is understanding the return type of Parallel; if we just zip the results of two machines, we might loose stuff

marcosh avatar Feb 01 '23 08:02 marcosh