j
k
j a
j l
Tony Morris wrote:
Pointed f => Pointed (StateT s f) but not Applicative f => Applicative (StateT s f)
Pointed f => Pointed (StateT s f)
but not
Applicative f => Applicative (StateT s f)
I see. So StateT cannot be what you could call an applicative transformer. (Unlike for example ReaderT.) Thanks.
Back to the thread
Back to the list