Pandora.Paradigm.Structure.Modification.Prefixed

Documentation

newtype Prefixed t k a

Constructors

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

Instances

Covariant t => Morphable ('Into t :: Morph (Type -> Type)) (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Associated Types

type Morphing ('Into t) (Prefixed t k) :: Type -> Type

Methods

morphing :: (Tagged ('Into t) <:.> Prefixed t k) ~> Morphing ('Into t) (Prefixed t k)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Maybe) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Maybe) key)

Setoid key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Lookup 'Key) (Prefixed List key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed List key) ~> Morphing ('Lookup 'Key) (Prefixed List key)

Setoid k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction List) k)

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

type Morphing ('Vary 'Element) (Prefixed (Construction List) k) :: Type -> Type

Methods

morphing :: (Tagged ('Vary 'Element) <:.> Prefixed (Construction List) k) ~> Morphing ('Vary 'Element) (Prefixed (Construction List) k)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

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

Defined in Pandora.Paradigm.Structure.Some.Rose

Associated Types

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

Methods

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

Chain key => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed (Construction Wye) key) ~> Morphing ('Lookup 'Key) (Prefixed (Construction Wye) key)

Chain k => Morphable ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Vary 'Element) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Vary 'Element) <:.> Prefixed Binary k) ~> Morphing ('Vary 'Element) (Prefixed Binary k)

Chain k => Morphable ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

type Morphing ('Lookup 'Key) (Prefixed Binary k) :: Type -> Type

Methods

morphing :: (Tagged ('Lookup 'Key) <:.> Prefixed Binary k) ~> Morphing ('Lookup 'Key) (Prefixed Binary 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

(.#..) :: (Prefixed t k ~ v a, Category v) => v c d -> ((v a :. v b) := c) -> (v a :. v b) := d

(.#...) :: (Prefixed t k ~ v a, Prefixed t k ~ v b, Category v, Covariant (v a), Covariant (v b)) => v d e -> ((v a :. (v b :. v c)) := d) -> (v a :. (v b :. v c)) := e

(.#....) :: (Prefixed t k ~ v a, Prefixed t k ~ v b, Prefixed t k ~ v c, Category v, Covariant (v a), Covariant (v b), Covariant (v c)) => v e f -> ((v a :. (v b :. (v c :. v d))) := e) -> (v a :. (v b :. (v c :. v d))) := f

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

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

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

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

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

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

Alternative t => Alternative (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

(<+>) :: Prefixed t k a -> Prefixed t k a -> Prefixed t k a

alter :: Prefixed t k a -> Prefixed t k a -> Prefixed t k a

Avoidable t => Avoidable (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

empty :: Prefixed t k a

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

(<$||=) :: (Covariant j, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> (j := Prefixed t k a) -> j := u b

(<$$||=) :: (Covariant j, Covariant k0, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> ((j :. k0) := Prefixed t k a) -> (j :. k0) := u b

(<$$$||=) :: (Covariant j, Covariant k0, Covariant l, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> ((j :. (k0 :. l)) := Prefixed t k a) -> (j :. (k0 :. l)) := u b

(<$$$$||=) :: (Covariant j, Covariant k0, Covariant l, Covariant m, Interpreted u) => (Primary (Prefixed t k) a -> Primary u b) -> ((j :. (k0 :. (l :. m))) := Prefixed t k a) -> (j :. (k0 :. (l :. m))) := u b

(=||$>) :: (Covariant j, Interpreted u) => (Prefixed t k a -> u b) -> (j := Primary (Prefixed t k) a) -> j := Primary u b

(=||$$>) :: (Covariant j, Covariant k0, Interpreted u) => (Prefixed t k a -> u b) -> ((j :. k0) := Primary (Prefixed t k) a) -> (j :. k0) := Primary u b

(=||$$$>) :: (Covariant j, Covariant k0, Covariant l, Interpreted u) => (Prefixed t k a -> u b) -> ((j :. (k0 :. l)) := Primary (Prefixed t k) a) -> (j :. (k0 :. l)) := Primary u b

(=||$$$$>) :: (Covariant j, Covariant k0, Covariant l, Covariant m, Interpreted u) => (Prefixed t k a -> u b) -> ((j :. (k0 :. (l :. m))) := Primary (Prefixed t k) a) -> (j :. (k0 :. (l :. m))) := Primary u b

(Monoid k, Pointable t ((->) :: Type -> Type -> Type)) => Pointable (Prefixed t k) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

point :: a -> Prefixed t k a

Covariant_ t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Covariant_ (Prefixed t k) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

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

Traversable t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => Traversable (Prefixed t k) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

(<<-) :: (Covariant_ u (->) (->), Pointable u (->), Semimonoidal u (:*:) (->) (->)) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

type Morphing ('Into t :: Morph (Type -> Type)) (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

type Morphing ('Into t :: Morph (Type -> Type)) (Prefixed t k) = t

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Maybe) key) = ((->) key :: Type -> Type) <:.> Maybe

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key)

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed List key) = ((->) key :: Type -> Type) <:.> Maybe

type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction List) k)

Defined in Pandora.Paradigm.Structure.Some.Rose

type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction List) k) = (((:*:) (Nonempty List k) <:.> Identity) <:.:> Prefixed (Construction List) k) := ((->) :: Type -> Type -> Type)

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

Defined in Pandora.Paradigm.Structure.Some.Rose

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

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

Defined in Pandora.Paradigm.Structure.Some.Rose

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

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed (Construction Wye) key) = ((->) key :: Type -> Type) <:.> Maybe

type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Vary ('Element :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = (((:*:) k <:.> Identity) <:.:> Prefixed Binary k) := ((->) :: Type -> Type -> Type)

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k)

Defined in Pandora.Paradigm.Structure.Some.Binary

type Morphing ('Lookup ('Key :: a -> Morph a) :: Morph (a -> Morph a)) (Prefixed Binary k) = ((->) k :: Type -> Type) <:.> Maybe

type Nonempty (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

type Nonempty (Prefixed t k) = Prefixed (Nonempty t) k

type Primary (Prefixed t k) a

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

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

Orphan instances

Covariant t => Morphable ('Into t :: Morph (Type -> Type)) (Prefixed t k)

Associated Types

type Morphing ('Into t) (Prefixed t k) :: Type -> Type

Methods

morphing :: (Tagged ('Into t) <:.> Prefixed t k) ~> Morphing ('Into t) (Prefixed t k)