Control.Monad.Primitive.Convenience

Convenience typeclass for working with polymorphic PrimMonads. |

Documentation

class (PrimMonad m, s ~ PrimState m) => MonadPrim s m | m -> s

PrimMonad's state token type can be annoying to handle in constraints. This typeclass lets users (visually) notice PrimState equality constraints less, by witnessing that s ~ PrimState m.

Instances

(PrimMonad m, s ~ PrimState m) => MonadPrim s m

Defined in Control.Monad.Primitive.Convenience

class (PrimBase m, s ~ PrimState m) => MonadPrimBase s m | m -> s

PrimBase's state token type can be annoying to handle in constraints. This typeclass lets users (visually) notice PrimState equality constraints less, by witnessing that s ~ PrimState m.

Instances

(PrimBase m, s ~ PrimState m) => MonadPrimBase s m

Defined in Control.Monad.Primitive.Convenience