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

Extendable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

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

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

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

duplicate :: Delta a -> (Delta :. Delta) := a

(=<=) :: (Delta b -> c) -> (Delta a -> b) -> Delta a -> c

(=>=) :: (Delta a -> b) -> (Delta b -> c) -> Delta a -> c

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

(<<=$) :: Covariant u => ((u :. Delta) := a) -> (Delta a -> b) -> (u :. Delta) := 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

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

Substructure ('Left :: Type -> Wye Type) Delta

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Left Delta a

Methods

substructure :: Tagged 'Left (Delta a) :-. Substructural 'Left Delta a

Substructure ('Right :: Type -> Wye Type) Delta

Defined in Pandora.Paradigm.Structure

Associated Types

type Substructural 'Right Delta a

Methods

substructure :: Tagged 'Right (Delta a) :-. Substructural 'Right Delta a

Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Rotational 'Right (Tap (Delta <:.> Stream)) a

Methods

rotation :: Tagged 'Right (Tap (Delta <:.> Stream) a0) -> Rotational 'Right (Tap (Delta <:.> Stream)) a0

Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stream))

Defined in Pandora.Paradigm.Structure.Stream

Associated Types

type Rotational 'Left (Tap (Delta <:.> Stream)) a

Methods

rotation :: Tagged 'Left (Tap (Delta <:.> Stream) a0) -> Rotational 'Left (Tap (Delta <:.> Stream)) a0

type Representation Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

type Representation Delta = Boolean

type Substructural ('Left :: Type -> Wye Type) Delta a

Defined in Pandora.Paradigm.Structure

type Substructural ('Left :: Type -> Wye Type) Delta a = a

type Substructural ('Right :: Type -> Wye Type) Delta a

Defined in Pandora.Paradigm.Structure

type Substructural ('Right :: Type -> Wye Type) Delta a = a

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2

Defined in Pandora.Paradigm.Structure.Stream

type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 = Tap (Delta <:.> Stream) a2

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2

Defined in Pandora.Paradigm.Structure.Stream

type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 = Tap (Delta <:.> Stream) a2