Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class Adaptable eff schema where Source #
Instances
Adaptable t t Source # | |
Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable | |
(Layable t (Schema u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Layable u (Schema v (w :> (x :> (y :> (z :> (f :> h)))))), Layable v (Schema w (x :> (y :> (z :> (f :> h))))), Layable w (Schema x (y :> (z :> (f :> h)))), Layable x (Schema y (z :> (f :> h))), Layable y (Schema z (f :> h)), Layable z (Schema f h), Wrappable f h) => Adaptable f (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Layable u (Schema v (w :> (x :> (y :> (z :> (f :> h)))))), Layable v (Schema w (x :> (y :> (z :> (f :> h))))), Layable w (Schema x (y :> (z :> (f :> h)))), Layable x (Schema y (z :> (f :> h))), Layable y (Schema z (f :> h)), Layable z (Schema f h), Layable f h) => Adaptable h (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> (y :> (z :> f)))))), Layable u (Schema v (w :> (x :> (y :> (z :> f))))), Layable v (Schema w (x :> (y :> (z :> f)))), Layable w (Schema x (y :> (z :> f))), Layable x (Schema y (z :> f)), Layable y (Schema z f), Wrappable z f) => Adaptable z (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> (y :> (z :> f)))))), Layable u (Schema v (w :> (x :> (y :> (z :> f))))), Layable v (Schema w (x :> (y :> (z :> f)))), Layable w (Schema x (y :> (z :> f))), Layable x (Schema y (z :> f)), Layable y (Schema z f), Layable z f) => Adaptable f (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> (y :> z))))), Layable u (Schema v (w :> (x :> (y :> z)))), Layable v (Schema w (x :> (y :> z))), Layable w (Schema x (y :> z)), Layable x (Schema y z), Wrappable y z) => Adaptable y (t :> (u :> (v :> (w :> (x :> (y :> z)))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> (y :> z))))), Layable u (Schema v (w :> (x :> (y :> z)))), Layable v (Schema w (x :> (y :> z))), Layable w (Schema x (y :> z)), Layable x (Schema y z), Layable y z) => Adaptable z (t :> (u :> (v :> (w :> (x :> (y :> z)))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> y)))), Layable u (Schema v (w :> (x :> y))), Layable v (Schema w (x :> y)), Layable w (Schema x y), Wrappable x y) => Adaptable x (t :> (u :> (v :> (w :> (x :> y))))) Source # | |
(Layable t (Schema u (v :> (w :> (x :> y)))), Layable u (Schema v (w :> (x :> y))), Layable v (Schema w (x :> y)), Layable w (Schema x y), Layable x y) => Adaptable y (t :> (u :> (v :> (w :> (x :> y))))) Source # | |
(Layable t (Schema u (v :> (w :> x))), Layable u (Schema v (w :> x)), Layable v (Schema w x), Wrappable w x) => Adaptable w (t :> (u :> (v :> (w :> x)))) Source # | |
(Layable t (Schema u (v :> (w :> x))), Layable u (Schema v (w :> x)), Layable v (Schema w x), Layable w x) => Adaptable x (t :> (u :> (v :> (w :> x)))) Source # | |
(Layable t (Schema u v), Layable t (Schema u (v :> w)), Layable u (Schema v w), Layable v w) => Adaptable w (t :> (u :> (v :> w))) Source # | |
(Layable t (Schema u (v :> w)), Layable u (Schema v w), Wrappable v w) => Adaptable v (t :> (u :> (v :> w))) Source # | |
(Layable t (Schema u v), Layable u v) => Adaptable v (t :> (u :> v)) Source # | |
(Layable t (Schema u v), Wrappable u v) => Adaptable u (t :> (u :> v)) Source # | |
Wrappable t u => Adaptable t (t :> u) Source # | |
Layable t u => Adaptable u (t :> u) Source # | |