Pandora.Paradigm.Structure.Modification.Prefixed

Documentation

type Keyed k = Product k <:.> Maybe

newtype Prefixed t k a

Constructors

Prefixed ((t <:.> Keyed k) := a)

Instances

(Monotonic (Keyed k a) (t (Keyed k a)), Setoid k) => Dictionary a k (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

(?=) :: k -> Prefixed t k a -> Maybe a

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

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

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

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

type Primary (Prefixed t k) a

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

type Primary (Prefixed t k) a = (t <:.> Keyed k) := a