hello,
I’m trying to figure-out Free monads using ...
# arrowp
Paolo Gavočanov
02/14/2019, 6:20 PMhello,
I’m trying to figure-out Free monads using Arrow, going through https://typelevel.org/cats/datatypes/freemonad.html, seems to me like the implementation in Arrow is based on cats.
I’m kind of stuck on how to implement https://typelevel.org/cats/datatypes/freemonad.html#use-a-pure-compiler-optional, using the state monad.
Can anyone please help me figure out at least how the signature for the natural transformation would look like using Arrow?
thnx in advance