Zulip Chat Archive

Stream: new members

Topic: MonadTrans class?


Calvin Lee (Jan 21 2021 at 22:27):

Hello! I was curious if there was anything similar to MonadPlus, MonadTrans, etc such as in Haskell

Anne Baanen (Jan 22 2021 at 09:45):

MonadPlus m => _ in Haskell would translate to [monad m] [alternative m] : _ in Lean I believe. There are a few definitions of monad transformers such as docs#state_t, docs#writer_t, docs#cont_t, ... but no "monad transformer" typeclass that I'm aware of.


Last updated: Dec 20 2023 at 11:08 UTC