Control.Joint.Abilities.Adaptable

Documentation

class Adaptable (eff :: * -> *) (schema :: * -> *) where

Methods

adapt :: eff ~> schema

Instances

Adaptable t t

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: t ~> t

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x), MonadTrans ((:>) y), MonadTrans ((:>) z)) => Adaptable f (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: f ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x), MonadTrans ((:>) y), MonadTrans ((:>) z), MonadTrans ((:>) f)) => Adaptable h (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: h ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x), MonadTrans ((:>) y), MonadTrans ((:>) z)) => Adaptable z (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: z ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x), MonadTrans ((:>) y), MonadTrans ((:>) z)) => Adaptable f (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: f ~> (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x)) => Adaptable y (t :> (u :> (v :> (w :> (x :> (y :> z))))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: y ~> (t :> (u :> (v :> (w :> (x :> (y :> z))))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x), MonadTrans ((:>) y)) => Adaptable z (t :> (u :> (v :> (w :> (x :> (y :> z))))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: z ~> (t :> (u :> (v :> (w :> (x :> (y :> z))))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w)) => Adaptable x (t :> (u :> (v :> (w :> (x :> y)))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: x ~> (t :> (u :> (v :> (w :> (x :> y)))))

(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, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w), MonadTrans ((:>) x)) => Adaptable y (t :> (u :> (v :> (w :> (x :> y)))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: y ~> (t :> (u :> (v :> (w :> (x :> y)))))

(Embedding t (Schema u (v :> (w :> x))), Embedding u (Schema v (w :> x)), Embedding v (Schema w x), Building w x, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v)) => Adaptable w (t :> (u :> (v :> (w :> x))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: w ~> (t :> (u :> (v :> (w :> x))))

(Embedding t (Schema u (v :> (w :> x))), Embedding u (Schema v (w :> x)), Embedding v (Schema w x), Embedding w x, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v), MonadTrans ((:>) w)) => Adaptable x (t :> (u :> (v :> (w :> x))))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: x ~> (t :> (u :> (v :> (w :> x))))

(Embedding t (Schema u v), Embedding t (Schema u (v :> w)), Embedding u (Schema v w), Embedding v w, MonadTrans ((:>) t), MonadTrans ((:>) u), MonadTrans ((:>) v)) => Adaptable w (t :> (u :> (v :> w)))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: w ~> (t :> (u :> (v :> w)))

(Embedding t (Schema u (v :> w)), Embedding u (Schema v w), MonadTrans ((:>) t), MonadTrans ((:>) u), Building v w) => Adaptable v (t :> (u :> (v :> w)))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: v ~> (t :> (u :> (v :> w)))

(Embedding t (Schema u v), Embedding u v, MonadTrans ((:>) t), MonadTrans ((:>) u)) => Adaptable v (t :> (u :> v))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: v ~> (t :> (u :> v))

(Embedding t (Schema u v), MonadTrans ((:>) t), Building u v) => Adaptable u (t :> (u :> v))

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: u ~> (t :> (u :> v))

Building t u => Adaptable t (t :> u)

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: t ~> (t :> u)

(Monad u, MonadTrans ((:>) t)) => Adaptable u (t :> u)

Defined in Control.Joint.Abilities.Adaptable

Methods

adapt :: u ~> (t :> u)

type Embedding t u = (Transformer t, Monad u)

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