Pandora.Paradigm.Structure.Modification.Prefixed

Documentation

newtype Prefixed t k a

Constructors

Prefixed ((t :. Product k) := a)

Instances

Setoid k => Morphable ('Lookup ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Morphing ('Lookup 'Element) (Prefixed Rose k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Element) <:.> Prefixed Rose k) ~> Morphing ('Lookup 'Element) (Prefixed Rose k)

Covariant t => Covariant (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

(<$>) :: (a -> b) -> Prefixed t k a -> Prefixed t k b

comap :: (a -> b) -> Prefixed t k a -> Prefixed t k b

(<$) :: a -> Prefixed t k b -> Prefixed t k a

($>) :: Prefixed t k a -> b -> Prefixed t k b

void :: Prefixed t k a -> Prefixed t k ()

loeb :: Prefixed t k (a <:= Prefixed t k) -> Prefixed t k a

(<&>) :: Prefixed t k a -> (a -> b) -> Prefixed t k b

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

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

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

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

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

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

(Monoid k, Pointable t) => Pointable (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

point :: a :=> Prefixed t k

pass :: Prefixed t k ()

Traversable t => Traversable (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

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

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

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

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

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

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

Interpreted (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Associated Types

type Primary (Prefixed t k) a

Methods

run :: Prefixed t k a -> Primary (Prefixed t k) a

unite :: Primary (Prefixed t k) a -> Prefixed t k a

(||=) :: Interpreted u => (Primary (Prefixed t k) a -> Primary u b) -> Prefixed t k a -> u b

(=||) :: Interpreted u => (Prefixed t k a -> u b) -> Primary (Prefixed t k) a -> Primary u b

type Morphing ('Lookup ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Morphing ('Lookup ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Rose k) = ((->) (Nonempty List k) :: Type -> Type) <:.> Maybe

type Primary (Prefixed t k) a

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

type Primary (Prefixed t k) a = (t :. Product k) := a