Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Joint.Abilities.Completable

Documentation

class Completable (subeff :: * -> *) (eff :: * -> *) | subeff -> eff where Source #

Methods

Instances details

Completable (Either e) Maybe Source #
Instance details Defined in Control.Joint.Effects.Maybe Methods complete :: Either e ~> Maybe Source #
Completable (Writer e) (State e) Source #
Instance details Defined in Control.Joint.Effects.State Methods complete :: Writer e ~> State e Source #
Completable (Reader e) (State e) Source #
Instance details Defined in Control.Joint.Effects.State Methods complete :: Reader e ~> State e Source #