Safe Haskell	Safe
Language	Haskell2010

Control.Joint.Abilities.Liftable

Documentation

class Liftable (eff :: * -> *) (schema :: * -> *) where Source #

Methods

lift :: eff ~> schema Source #

Instances

Liftable t t Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: t ~> t Source #
(Embedding t (Schema u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Embedding u (Schema v (w :> (x :> (y :> (z :> (f :> h)))))), Embedding v (Schema w (x :> (y :> (z :> (f :> h))))), Embedding w (Schema x (y :> (z :> (f :> h)))), Embedding x (Schema y (z :> (f :> h))), Embedding y (Schema z (f :> h)), Embedding z (Schema f h), Building f h) => Liftable f (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: f ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Embedding u (Schema v (w :> (x :> (y :> (z :> (f :> h)))))), Embedding v (Schema w (x :> (y :> (z :> (f :> h))))), Embedding w (Schema x (y :> (z :> (f :> h)))), Embedding x (Schema y (z :> (f :> h))), Embedding y (Schema z (f :> h)), Embedding z (Schema f h), Embedding f h) => Liftable h (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: h ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> (y :> (z :> f)))))), Embedding u (Schema v (w :> (x :> (y :> (z :> f))))), Embedding v (Schema w (x :> (y :> (z :> f)))), Embedding w (Schema x (y :> (z :> f))), Embedding x (Schema y (z :> f)), Embedding y (Schema z f), Building z f) => Liftable z (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: z ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> (y :> (z :> f)))))), Embedding u (Schema v (w :> (x :> (y :> (z :> f))))), Embedding v (Schema w (x :> (y :> (z :> f)))), Embedding w (Schema x (y :> (z :> f))), Embedding x (Schema y (z :> f)), Embedding y (Schema z f), Embedding z f) => Liftable f (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: f ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> (y :> z))))), Embedding u (Schema v (w :> (x :> (y :> z)))), Embedding v (Schema w (x :> (y :> z))), Embedding w (Schema x (y :> z)), Embedding x (Schema y z), Building y z) => Liftable y (t :> (u :> (v :> (w :> (x :> (y :> z)))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: y ~> (t :> (u :> (v :> (w :> (x :> (y :> z)))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> (y :> z))))), Embedding u (Schema v (w :> (x :> (y :> z)))), Embedding v (Schema w (x :> (y :> z))), Embedding w (Schema x (y :> z)), Embedding x (Schema y z), Embedding y z) => Liftable z (t :> (u :> (v :> (w :> (x :> (y :> z)))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: z ~> (t :> (u :> (v :> (w :> (x :> (y :> z)))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> y)))), Embedding u (Schema v (w :> (x :> y))), Embedding v (Schema w (x :> y)), Embedding w (Schema x y), Building x y) => Liftable x (t :> (u :> (v :> (w :> (x :> y))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: x ~> (t :> (u :> (v :> (w :> (x :> y))))) Source #
(Embedding t (Schema u (v :> (w :> (x :> y)))), Embedding u (Schema v (w :> (x :> y))), Embedding v (Schema w (x :> y)), Embedding w (Schema x y), Embedding x y) => Liftable y (t :> (u :> (v :> (w :> (x :> y))))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: y ~> (t :> (u :> (v :> (w :> (x :> y))))) Source #
(Embedding t (Schema u (v :> (w :> x))), Embedding u (Schema v (w :> x)), Embedding v (Schema w x), Building w x) => Liftable w (t :> (u :> (v :> (w :> x)))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: w ~> (t :> (u :> (v :> (w :> x)))) Source #
(Embedding t (Schema u (v :> (w :> x))), Embedding u (Schema v (w :> x)), Embedding v (Schema w x), Embedding w x) => Liftable x (t :> (u :> (v :> (w :> x)))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: x ~> (t :> (u :> (v :> (w :> x)))) Source #
(Embedding t (Schema u v), Embedding t (Schema u (v :> w)), Embedding u (Schema v w), Embedding v w) => Liftable w (t :> (u :> (v :> w))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: w ~> (t :> (u :> (v :> w))) Source #
(Embedding t (Schema u (v :> w)), Embedding u (Schema v w), Building v w) => Liftable v (t :> (u :> (v :> w))) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: v ~> (t :> (u :> (v :> w))) Source #
(Embedding t (Schema u v), Embedding u v) => Liftable v (t :> (u :> v)) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: v ~> (t :> (u :> v)) Source #
(Embedding t (Schema u v), Building u v) => Liftable u (t :> (u :> v)) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: u ~> (t :> (u :> v)) Source #
Building t u => Liftable t (t :> u) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: t ~> (t :> u) Source #
Embedding t u => Liftable u (t :> u) Source #
Instance details Defined in Control.Joint.Abilities.Liftable Methods lift :: u ~> (t :> u) Source #

type Embedding t u = (Transformer t, Functor u) Source #

type Building t u = (Transformer t, Applicative u) Source #