search

Risto-Stevcev / bastet

A ReasonML/Ocaml library for category theory and abstract algebra
BSD 3-Clause "New" or "Revised" License
212 stars 26 forks source link

Indexed Monad #18

Open gaku-sei opened 4 years ago

gaku-sei commented 4 years ago

Is there any plan to bring the Indexed (Monads) to bs-abstract? It could be especially useful when state management is involved.

I made a small gist here. I tried to follow the same naming convention as the repository.

Please let me know if you're interested 😃

Risto-Stevcev commented 4 years ago

Yeah definitely! I mostly use GADTs or poly variants for that kind of stuff but it's useful to have in the library for sure