joint-0.1.7: Trying to compose non-composable
Control.Joint.Abilities.Adaptable
class Adaptable (subeff :: * -> *) (eff :: * -> *) | subeff -> eff where Source #
Methods
adapt :: subeff ~> eff Source #
Defined in Control.Joint.Effects.Maybe
adapt :: Either e ~> Maybe Source #
Defined in Control.Joint.Effects.State
adapt :: Writer e ~> State e Source #
adapt :: Reader e ~> State e Source #