Pandora.Paradigm.Structure.Modification.Prefixed

Documentation

newtype Prefixed t k a

Constructors

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

Instances

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

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)

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 (Maybe <:*:> Maybe)) < key)

Defined in Pandora.Paradigm.Structure.Some.Binary

Associated Types

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

Methods

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

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)

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

(<~~~~~~~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~~~~~~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~~~~~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~~~~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~~~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(<~) :: ((->) < Prefixed t k a) < Primary (Prefixed t k) a

(=#-) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Primary (Prefixed t k) a) < Primary u b) -> ((->) < Prefixed t k a) < u b

(-#=) :: (Semigroupoid (->), Interpreted (->) u) => (((->) < Prefixed t k a) < u b) -> ((->) < Primary (Prefixed t k) a) < Primary u b

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

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

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

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

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

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

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

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

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

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

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

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

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

(<-|-|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

(<-|-|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

(<-|-|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

(<-|-|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

(<-|-|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) (Prefixed t k)) => (a -> b) -> Prefixed t k (u a) -> Prefixed t k (u b)

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

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

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

(<<-------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

(<<------) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

(<<-----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

(<<----) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

(<<---) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) u) => (a -> u b) -> Prefixed t k a -> u (Prefixed t k b)

(<<--) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (Straight (->)) (:*:) (:*:) 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 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 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 (Maybe <:*:> Maybe)) < key)

Defined in Pandora.Paradigm.Structure.Some.Binary

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

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