Pandora.Paradigm.Controlflow.Joint.Adaptable

Documentation

class Adaptable t u where

Methods

adapt :: t ~> u

Instances

Covariant t => Adaptable (t :: Type -> Type) (t :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

adapt :: t ~> t

(Covariant (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))), Layable t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Layable u (Schematic Monad v (w :> (x :> (y :> (z :> (f :> h)))))), Layable v (Schematic Monad w (x :> (y :> (z :> (f :> h))))), Layable w (Schematic Monad x (y :> (z :> (f :> h)))), Layable x (Schematic Monad y (z :> (f :> h))), Layable y (Schematic Monad z (f :> h)), Layable z (Schematic Monad f h), Wrappable f h) => Adaptable (f :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h)))))))), Layable t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> (f :> h))))))), Layable u (Schematic Monad v (w :> (x :> (y :> (z :> (f :> h)))))), Layable v (Schematic Monad w (x :> (y :> (z :> (f :> h))))), Layable w (Schematic Monad x (y :> (z :> (f :> h)))), Layable x (Schematic Monad y (z :> (f :> h))), Layable y (Schematic Monad z (f :> h)), Layable z (Schematic Monad f h), Layable f h) => Adaptable (h :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> (f :> h))))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))), Layable t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> f)))))), Layable u (Schematic Monad v (w :> (x :> (y :> (z :> f))))), Layable v (Schematic Monad w (x :> (y :> (z :> f)))), Layable w (Schematic Monad x (y :> (z :> f))), Layable x (Schematic Monad y (z :> f)), Layable y (Schematic Monad z f), Wrappable z f) => Adaptable (z :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> (y :> (z :> f))))))), Layable t (Schematic Monad u (v :> (w :> (x :> (y :> (z :> f)))))), Layable u (Schematic Monad v (w :> (x :> (y :> (z :> f))))), Layable v (Schematic Monad w (x :> (y :> (z :> f)))), Layable w (Schematic Monad x (y :> (z :> f))), Layable x (Schematic Monad y (z :> f)), Layable y (Schematic Monad z f), Layable z f) => Adaptable (f :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> (z :> f)))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> (y :> z)))))), Layable t (Schematic Monad u (v :> (w :> (x :> (y :> z))))), Layable u (Schematic Monad v (w :> (x :> (y :> z)))), Layable v (Schematic Monad w (x :> (y :> z))), Layable w (Schematic Monad x (y :> z)), Layable x (Schematic Monad y z), Wrappable y z) => Adaptable (y :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> z))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> (y :> z)))))), Layable t (Schematic Monad u (v :> (w :> (x :> (y :> z))))), Layable u (Schematic Monad v (w :> (x :> (y :> z)))), Layable v (Schematic Monad w (x :> (y :> z))), Layable w (Schematic Monad x (y :> z)), Layable x (Schematic Monad y z), Layable y z) => Adaptable (z :: Type -> Type) (t :> (u :> (v :> (w :> (x :> (y :> z))))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> y))))), Layable t (Schematic Monad u (v :> (w :> (x :> y)))), Layable u (Schematic Monad v (w :> (x :> y))), Layable v (Schematic Monad w (x :> y)), Layable w (Schematic Monad x y), Wrappable x y) => Adaptable (x :: Type -> Type) (t :> (u :> (v :> (w :> (x :> y)))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> (x :> y))))), Layable t (Schematic Monad u (v :> (w :> (x :> y)))), Layable u (Schematic Monad v (w :> (x :> y))), Layable v (Schematic Monad w (x :> y)), Layable w (Schematic Monad x y), Layable x y) => Adaptable (y :: Type -> Type) (t :> (u :> (v :> (w :> (x :> y)))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> x)))), Layable t (Schematic Monad u (v :> (w :> x))), Layable u (Schematic Monad v (w :> x)), Layable v (Schematic Monad w x), Wrappable w x) => Adaptable (w :: Type -> Type) (t :> (u :> (v :> (w :> x))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> (w :> x)))), Layable t (Schematic Monad u (v :> (w :> x))), Layable u (Schematic Monad v (w :> x)), Layable v (Schematic Monad w x), Layable w x) => Adaptable (x :: Type -> Type) (t :> (u :> (v :> (w :> x))) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> w))), Layable t (Schematic Monad u v), Layable t (Schematic Monad u (v :> w)), Layable u (Schematic Monad v w), Layable v w) => Adaptable (w :: Type -> Type) (t :> (u :> (v :> w)) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> (v :> w))), Layable t (Schematic Monad u (v :> w)), Layable u (Schematic Monad v w), Wrappable v w) => Adaptable (v :: Type -> Type) (t :> (u :> (v :> w)) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> v)), Layable t (Schematic Monad u v), Layable u v) => Adaptable (v :: Type -> Type) (t :> (u :> v) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> (u :> v)), Layable t (Schematic Monad u v), Wrappable u v) => Adaptable (u :: Type -> Type) (t :> (u :> v) :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> u), Wrappable t u) => Adaptable (t :: Type -> Type) (t :> u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> u), Layable t u) => Adaptable (u :: Type -> Type) (t :> u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h)))))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< (f :< h))))))), Flickable u (Schematic Comonad v (w :< (x :< (y :< (z :< (f :< h)))))), Flickable v (Schematic Comonad w (x :< (y :< (z :< (f :< h))))), Flickable w (Schematic Comonad x (y :< (z :< (f :< h)))), Flickable x (Schematic Comonad y (z :< (f :< h))), Flickable y (Schematic Comonad z (f :< h)), Flickable z (Schematic Comonad f h), Bringable f h) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h))))))) :: Type -> Type) (f :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h)))))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< (f :< h))))))), Flickable u (Schematic Comonad v (w :< (x :< (y :< (z :< (f :< h)))))), Flickable v (Schematic Comonad w (x :< (y :< (z :< (f :< h))))), Flickable w (Schematic Comonad x (y :< (z :< (f :< h)))), Flickable x (Schematic Comonad y (z :< (f :< h))), Flickable y (Schematic Comonad z (f :< h)), Flickable z (Schematic Comonad f h), Flickable f h) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< (f :< h))))))) :: Type -> Type) (h :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< f))))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< f)))))), Flickable u (Schematic Comonad v (w :< (x :< (y :< (z :< f))))), Flickable v (Schematic Comonad w (x :< (y :< (z :< f)))), Flickable w (Schematic Comonad x (y :< (z :< f))), Flickable x (Schematic Comonad y (z :< f)), Flickable y (Schematic Comonad z f), Bringable z f) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< f)))))) :: Type -> Type) (z :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< (z :< f))))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< (y :< (z :< f)))))), Flickable u (Schematic Comonad v (w :< (x :< (y :< (z :< f))))), Flickable v (Schematic Comonad w (x :< (y :< (z :< f)))), Flickable w (Schematic Comonad x (y :< (z :< f))), Flickable x (Schematic Comonad y (z :< f)), Flickable y (Schematic Comonad z f), Flickable z f) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< (z :< f)))))) :: Type -> Type) (f :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< z)))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< (y :< z))))), Flickable u (Schematic Comonad v (w :< (x :< (y :< z)))), Flickable v (Schematic Comonad w (x :< (y :< z))), Flickable w (Schematic Comonad x (y :< z)), Flickable x (Schematic Comonad y z), Bringable y z) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< z))))) :: Type -> Type) (y :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< (y :< z)))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< (y :< z))))), Flickable u (Schematic Comonad v (w :< (x :< (y :< z)))), Flickable v (Schematic Comonad w (x :< (y :< z))), Flickable w (Schematic Comonad x (y :< z)), Flickable x (Schematic Comonad y z), Flickable y z) => Adaptable (t :< (u :< (v :< (w :< (x :< (y :< z))))) :: Type -> Type) (z :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< y))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< y)))), Flickable u (Schematic Comonad v (w :< (x :< y))), Flickable v (Schematic Comonad w (x :< y)), Flickable w (Schematic Comonad x y), Bringable x y) => Adaptable (t :< (u :< (v :< (w :< (x :< y)))) :: Type -> Type) (x :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< (x :< y))))), Flickable t (Schematic Comonad u (v :< (w :< (x :< y)))), Flickable u (Schematic Comonad v (w :< (x :< y))), Flickable v (Schematic Comonad w (x :< y)), Flickable w (Schematic Comonad x y), Flickable x y) => Adaptable (t :< (u :< (v :< (w :< (x :< y)))) :: Type -> Type) (y :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< x)))), Flickable t (Schematic Comonad u (v :< (w :< x))), Flickable u (Schematic Comonad v (w :< x)), Flickable v (Schematic Comonad w x), Bringable w x) => Adaptable (t :< (u :< (v :< (w :< x))) :: Type -> Type) (w :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< (w :< x)))), Flickable t (Schematic Comonad u (v :< (w :< x))), Flickable u (Schematic Comonad v (w :< x)), Flickable v (Schematic Comonad w x), Flickable w x) => Adaptable (t :< (u :< (v :< (w :< x))) :: Type -> Type) (x :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< w))), Flickable t (Schematic Comonad u v), Flickable t (Schematic Comonad u (v :< w)), Flickable u (Schematic Comonad v w), Flickable v w) => Adaptable (t :< (u :< (v :< w)) :: Type -> Type) (w :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< (v :< w))), Flickable t (Schematic Comonad u (v :< w)), Flickable u (Schematic Comonad v w), Bringable v w) => Adaptable (t :< (u :< (v :< w)) :: Type -> Type) (v :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< v)), Flickable t (Schematic Comonad u v), Flickable u v) => Adaptable (t :< (u :< v) :: Type -> Type) (v :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< (u :< v)), Flickable t (Schematic Comonad u v), Bringable u v) => Adaptable (t :< (u :< v) :: Type -> Type) (u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :< u), Bringable t u) => Adaptable (t :< u :: Type -> Type) (t :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Covariant (t :> u), Flickable t u) => Adaptable (t :< u :: Type -> Type) (u :: Type -> Type)

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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