joint-0.1.9: Trying to compose non-composable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Joint.Abilities.Completable

Documentation

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

Methods

complete :: subeff ~> eff Source #

Instances

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 #