Pandora.Paradigm.Controlflow.Joint.Transformer

Documentation

class Interpreted t => Transformer t where

Associated Types

type Schema (t :: * -> *) (u :: * -> *) = (r :: * -> *) | r -> t u

Methods

lay :: Covariant u => u ~> (t :> u)

wrap :: Pointable u => t ~> (t :> u)

Instances

Transformer Maybe

Defined in Pandora.Paradigm.Basis.Maybe

Associated Types

type Schema Maybe u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> (Maybe :> u)

wrap :: Pointable u => Maybe ~> (Maybe :> u)

Transformer (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Associated Types

type Schema (Environment e) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> (Environment e :> u)

wrap :: Pointable u => Environment e ~> (Environment e :> u)

Monoid e => Transformer (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Associated Types

type Schema (Accumulator e) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> (Accumulator e :> u)

wrap :: Pointable u => Accumulator e ~> (Accumulator e :> u)

Transformer (State s)

Defined in Pandora.Paradigm.Inventory.State

Associated Types

type Schema (State s) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> (State s :> u)

wrap :: Pointable u => State s ~> (State s :> u)

Transformer (Conclusion e)

Defined in Pandora.Paradigm.Basis.Conclusion

Associated Types

type Schema (Conclusion e) u = (r :: Type -> Type)

Methods

lay :: Covariant u => u ~> (Conclusion e :> u)

wrap :: Pointable u => Conclusion e ~> (Conclusion e :> u)

newtype (t :> u) a infixr 3

Constructors

T

Fields

• trans :: Schema t u a

Instances

(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))))))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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))))))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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)))))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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)))))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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))))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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))))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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)))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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)))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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))))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(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)))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Layable t (Schema u (v :> w)), Layable u (Schema v w), Wrappable v w) => Adaptable v (t :> (u :> (v :> w)))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Layable t (Schema u v), Layable u v) => Adaptable v (t :> (u :> v))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Layable t (Schema u v), Wrappable u v) => Adaptable u (t :> (u :> v))

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

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

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

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

Defined in Pandora.Paradigm.Controlflow.Joint.Adaptable

Methods

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

(Interpreted (Schema t u), Transformer t) => Interpreted (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Associated Types

type Primary (t :> u) a :: Type

Methods

unwrap :: (t :> u) a -> Primary (t :> u) a

Covariant (Schema t u) => Covariant (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(<$>) :: (a -> b) -> (t :> u) a -> (t :> u) b

comap :: (a -> b) -> (t :> u) a -> (t :> u) b

(<$) :: a -> (t :> u) b -> (t :> u) a

($>) :: (t :> u) a -> b -> (t :> u) b

void :: (t :> u) a -> (t :> u) ()

loeb :: (t :> u) (a <-| (t :> u)) -> (t :> u) a

(<&>) :: (t :> u) a -> (a -> b) -> (t :> u) b

(<$$>) :: Covariant u0 => (a -> b) -> (((t :> u) :. u0) := a) -> ((t :> u) :. u0) := b

(<$$$>) :: (Covariant u0, Covariant v) => (a -> b) -> (((t :> u) :. (u0 :. v)) := a) -> ((t :> u) :. (u0 :. v)) := b

(<$$$$>) :: (Covariant u0, Covariant v, Covariant w) => (a -> b) -> (((t :> u) :. (u0 :. (v :. w))) := a) -> ((t :> u) :. (u0 :. (v :. w))) := b

(<&&>) :: Covariant u0 => (((t :> u) :. u0) := a) -> (a -> b) -> ((t :> u) :. u0) := b

(<&&&>) :: (Covariant u0, Covariant v) => (((t :> u) :. (u0 :. v)) := a) -> (a -> b) -> ((t :> u) :. (u0 :. v)) := b

(<&&&&>) :: (Covariant u0, Covariant v, Covariant w) => (((t :> u) :. (u0 :. (v :. w))) := a) -> (a -> b) -> ((t :> u) :. (u0 :. (v :. w))) := b

Bindable (Schema t u) => Bindable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(>>=) :: (t :> u) a -> (a -> (t :> u) b) -> (t :> u) b

(=<<) :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

bind :: (a -> (t :> u) b) -> (t :> u) a -> (t :> u) b

join :: (((t :> u) :. (t :> u)) := a) -> (t :> u) a

(>=>) :: (a -> (t :> u) b) -> (b -> (t :> u) c) -> a -> (t :> u) c

(<=<) :: (b -> (t :> u) c) -> (a -> (t :> u) b) -> a -> (t :> u) c

Applicative (Schema t u) => Applicative (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(<*>) :: (t :> u) (a -> b) -> (t :> u) a -> (t :> u) b

apply :: (t :> u) (a -> b) -> (t :> u) a -> (t :> u) b

(*>) :: (t :> u) a -> (t :> u) b -> (t :> u) b

(<*) :: (t :> u) a -> (t :> u) b -> (t :> u) a

forever :: (t :> u) a -> (t :> u) b

(<**>) :: Applicative u0 => (((t :> u) :. u0) := (a -> b)) -> (((t :> u) :. u0) := a) -> ((t :> u) :. u0) := b

(<***>) :: (Applicative u0, Applicative v) => (((t :> u) :. (u0 :. v)) := (a -> b)) -> (((t :> u) :. (u0 :. v)) := a) -> ((t :> u) :. (u0 :. v)) := b

(<****>) :: (Applicative u0, Applicative v, Applicative w) => (((t :> u) :. (u0 :. (v :. w))) := (a -> b)) -> (((t :> u) :. (u0 :. (v :. w))) := a) -> ((t :> u) :. (u0 :. (v :. w))) := b

Alternative (Schema t u) => Alternative (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(<+>) :: (t :> u) a -> (t :> u) a -> (t :> u) a

alter :: (t :> u) a -> (t :> u) a -> (t :> u) a

Distributive (Schema t u) => Distributive (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(>>-) :: Covariant u0 => u0 a -> (a -> (t :> u) b) -> ((t :> u) :. u0) := b

collect :: Covariant u0 => (a -> (t :> u) b) -> u0 a -> ((t :> u) :. u0) := b

distribute :: Covariant u0 => ((u0 :. (t :> u)) := a) -> ((t :> u) :. u0) := a

(>>>-) :: (Covariant u0, Covariant v) => ((u0 :. v) := a) -> (a -> (t :> u) b) -> ((t :> u) :. (u0 :. v)) := b

(>>>>-) :: (Covariant u0, Covariant v, Covariant w) => ((u0 :. (v :. w)) := a) -> (a -> (t :> u) b) -> ((t :> u) :. (u0 :. (v :. w))) := b

(>>>>>-) :: (Covariant u0, Covariant v, Covariant w, Covariant j) => ((u0 :. (v :. (w :. j))) := a) -> (a -> (t :> u) b) -> ((t :> u) :. (u0 :. (v :. (w :. j)))) := b

Extendable (Schema t u) => Extendable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(=>>) :: (t :> u) a -> ((t :> u) a -> b) -> (t :> u) b

(<<=) :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

extend :: ((t :> u) a -> b) -> (t :> u) a -> (t :> u) b

duplicate :: (t :> u) a -> ((t :> u) :. (t :> u)) := a

(=<=) :: ((t :> u) b -> c) -> ((t :> u) a -> b) -> (t :> u) a -> c

(=>=) :: ((t :> u) a -> b) -> ((t :> u) b -> c) -> (t :> u) a -> c

Extractable (Schema t u) => Extractable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

extract :: a <-| (t :> u)

Pointable (Schema t u) => Pointable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

point :: a |-> (t :> u)

Traversable (Schema t u) => Traversable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

Methods

(->>) :: (Pointable u0, Applicative u0) => (t :> u) a -> (a -> u0 b) -> (u0 :. (t :> u)) := b

traverse :: (Pointable u0, Applicative u0) => (a -> u0 b) -> (t :> u) a -> (u0 :. (t :> u)) := b

sequence :: (Pointable u0, Applicative u0) => (((t :> u) :. u0) := a) -> (u0 :. (t :> u)) := a

(->>>) :: (Pointable u0, Applicative u0, Traversable v) => ((v :. (t :> u)) := a) -> (a -> u0 b) -> (u0 :. (v :. (t :> u))) := b

(->>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w) => ((w :. (v :. (t :> u))) := a) -> (a -> u0 b) -> (u0 :. (w :. (v :. (t :> u)))) := b

(->>>>>) :: (Pointable u0, Applicative u0, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. (t :> u)))) := a) -> (a -> u0 b) -> (u0 :. (j :. (w :. (v :. (t :> u))))) := b

type Primary (t :> u) a

Defined in Pandora.Paradigm.Controlflow.Joint.Transformer

type Primary (t :> u) a = Primary (Schema t u) a