search

purescript-contrib / purescript-fork

An MTL-style class for monads that support forking
Apache License 2.0
8 stars 6 forks source link

Updated hierarchy #5

Closed natefaubion closed 7 years ago

natefaubion commented 7 years ago

@jdegoes Any thoughts on how to best phrase the MonadBracket laws?

jdegoes commented 7 years ago

@natefaubion Yes, I also have a much stronger way to formulate two of the laws but am trying to find a simpler way to express them.