Pandora.Paradigm.Primary.Functor.Delta

Documentation

data Delta a

Constructors

a :^: a

Instances

Covariant Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

(<$>) :: (a -> b) -> Delta a -> Delta b

comap :: (a -> b) -> Delta a -> Delta b

(<$) :: a -> Delta b -> Delta a

($>) :: Delta a -> b -> Delta b

void :: Delta a -> Delta ()

loeb :: Delta (a <-| Delta) -> Delta a

(<&>) :: Delta a -> (a -> b) -> Delta b

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

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

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

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

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

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

Applicative Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

(<*>) :: Delta (a -> b) -> Delta a -> Delta b

apply :: Delta (a -> b) -> Delta a -> Delta b

(*>) :: Delta a -> Delta b -> Delta b

(<*) :: Delta a -> Delta b -> Delta a

forever :: Delta a -> Delta b

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

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

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

Pointable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

point :: a |-> Delta

Representable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Associated Types

type Representation Delta :: Type

Methods

(<#>) :: Representation Delta -> a <-| Delta

tabulate :: (Representation Delta -> a) -> Delta a

index :: Delta a -> Representation Delta -> a

Traversable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

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

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

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

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

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

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

type Representation Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

type Representation Delta = Boolean

type (:^:) = Delta