Pandora.Paradigm.Primary.Functor.Delta

Documentation

data Delta a

Constructors

a :^: a infixr 1

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

Distributive Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

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

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

distribute :: Covariant u => ((u :. Delta) := a) -> (Delta :. u) := a

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

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

(>>>>>-) :: (Covariant u, Covariant v, Covariant w, Covariant j) => ((u :. (v :. (w :. j))) := a) -> (a -> Delta b) -> (Delta :. (u :. (v :. (w :. j)))) := 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

Semigroup a => Semigroup (Delta a)

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

(+) :: Delta a -> Delta a -> Delta a

Ringoid a => Ringoid (Delta a)

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

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

Setoid a => Setoid (Delta a)

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

(==) :: Delta a -> Delta a -> Boolean

(/=) :: Delta a -> Delta a -> Boolean

Covariant (Delta <:.> Stack)

Defined in Pandora.Paradigm.Structure.Stack

Methods

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

comap :: (a -> b) -> (Delta <:.> Stack) a -> (Delta <:.> Stack) b

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

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

void :: (Delta <:.> Stack) a -> (Delta <:.> Stack) ()

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

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

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

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

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

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

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

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

type Representation Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

type Representation Delta = Boolean