Pandora.Paradigm.Structure.Modification.Prefixed

Documentation

newtype Prefixed t k a

Constructors

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

Instances

Covariant t ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => 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 ('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)

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 ('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 ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) => 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)