Covariant Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Applicative Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Distributive Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Extendable Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Pointable Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Representable Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Traversable Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta Methods (->>) :: (Pointable u, Applicative u) => Delta a -> (a -> u b) -> (u :. Delta) := b Source # traverse :: (Pointable u, Applicative u) => (a -> u b) -> Delta a -> (u :. Delta) := b Source # sequence :: (Pointable u, Applicative u) => ((Delta :. u) := a) -> (u :. Delta) := a Source # (->>>) :: (Pointable u, Applicative u, Traversable v) => ((v :. Delta) := a) -> (a -> u b) -> (u :. (v :. Delta)) := b Source # (->>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w) => ((w :. (v :. Delta)) := a) -> (a -> u b) -> (u :. (w :. (v :. Delta))) := b Source # (->>>>>) :: (Pointable u, Applicative u, Traversable v, Traversable w, Traversable j) => ((j :. (w :. (v :. Delta))) := a) -> (a -> u b) -> (u :. (j :. (w :. (v :. Delta)))) := b Source # |
Extendable (Tap (Delta <:.> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stream |
Extendable (Tap (Delta <:.> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Semigroup a => Semigroup (Delta a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Ringoid a => Ringoid (Delta a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Setoid a => Setoid (Delta a) Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
Substructure ('Left :: Type -> Wye Type) Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Substructure ('Right :: Type -> Wye Type) Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Substructure ('Left :: Type -> Wye Type) (Delta <:.> t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Substructure ('Right :: Type -> Wye Type) (Delta <:.> t) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stream |
Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stream)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stream |
Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Construction Maybe)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Right :: a -> Wye a) (Tap (Delta <:.> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
Rotatable ('Left :: a -> Wye a) (Tap (Delta <:.> Stack)) Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Representation Delta Source # | |
Instance detailsDefined in Pandora.Paradigm.Primary.Functor.Delta |
type Substructural ('Left :: Type -> Wye Type) Delta a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Substructural ('Right :: Type -> Wye Type) Delta a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Substructural ('Left :: Type -> Wye Type) (Delta <:.> t) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Substructural ('Right :: Type -> Wye Type) (Delta <:.> t) a Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure |
type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stream |
type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stream)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stream |
type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Construction Maybe)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Right :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |
type Rotational ('Left :: a1 -> Wye a1) (Tap (Delta <:.> Stack)) a2 Source # | |
Instance detailsDefined in Pandora.Paradigm.Structure.Stack |