Pandora.Paradigm.Structure.Modification.Comprehension

Documentation

newtype Comprehension t a

Constructors

Comprehension ((t <:.> Construction t) := a)

Instances

Interpreted (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Associated Types

type Primary (Comprehension t) a

Methods

run :: Comprehension t a -> Primary (Comprehension t) a

unite :: Primary (Comprehension t) a -> Comprehension t a

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

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

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

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

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

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

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

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

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

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

Nullable (t <:.> Construction t) => Nullable (Comprehension t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

null :: forall (a :: k). (Predicate :. Comprehension t) := a

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) (Comprehension t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

multiply :: forall (a :: k) (b :: k). (Comprehension t a :*: Comprehension t b) -> Comprehension t (a :+: b)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:*:) (Comprehension t :: Type -> Type)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

multiply :: forall (a :: k) (b :: k). (Comprehension t a :*: Comprehension t b) -> Comprehension t (a :*: b)

Morphable ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

Associated Types

type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Comprehension Maybe)) <:.> Tap ((List <:.:> List) := (:*:))) ~> Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:)))

Semigroup ((t <:.> Construction t) := a) => Semigroup (Comprehension t a)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(+) :: Comprehension t a -> Comprehension t a -> Comprehension t a

Monoid ((t <:.> Construction t) := a) => Monoid (Comprehension t a)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

zero :: Comprehension t a

Setoid ((t <:.> Construction t) := a) => Setoid (Comprehension t a)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(==) :: Comprehension t a -> Comprehension t a -> Boolean

(!=) :: Comprehension t a -> Comprehension t a -> Boolean

(forall a. Semigroup ((t <:.> Construction t) := a), Bindable ((->) :: Type -> Type -> Type) t) => Bindable ((->) :: Type -> Type -> Type) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(=<<) :: (a -> Comprehension t b) -> Comprehension t a -> Comprehension t b

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Morphable ('Push :: a -> Morph a) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Associated Types

type Morphing 'Push (Comprehension t) :: Type -> Type

Methods

morphing :: (Tagged 'Push <:.> Comprehension t) ~> Morphing 'Push (Comprehension t)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:+:) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

unit :: Proxy (:*:) -> (Unit (:+:) -> a) -> Comprehension t a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:.> Construction t) => Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(-<$>-) :: (a -> b) -> Comprehension t a -> Comprehension t b

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (t <:.> Construction t) => Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (->) (->) (:*:) (:*:) u) => (a -> u b) -> Comprehension t a -> u (Comprehension t b)

type Primary (Comprehension t) a

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

type Primary (Comprehension t) a = (t <:.> Construction t) := a

type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:)))

Defined in Pandora.Paradigm.Structure.Some.List

type Morphing ('Into (Comprehension Maybe)) (Tap ((List <:.:> List) := (:*:))) = Comprehension Maybe

type Morphing ('Push :: a -> Morph a) (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

type Morphing ('Push :: a -> Morph a) (Comprehension t) = (Identity <:.:> Comprehension t) := ((->) :: Type -> Type -> Type)

type Zipper (Comprehension Maybe) (('Left :: a1 -> Wye a1) ::: ('Right :: a2 -> Wye a2) :: k -> k' -> Type)

Defined in Pandora.Paradigm.Structure.Some.List

type Zipper (Comprehension Maybe) (('Left :: a1 -> Wye a1) ::: ('Right :: a2 -> Wye a2) :: k -> k' -> Type) = Tap ((Comprehension Maybe <:.:> Comprehension Maybe) := (:*:))

Orphan instances

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:) t) => Morphable ('Push :: a -> Morph a) (Comprehension t)

Associated Types

type Morphing 'Push (Comprehension t) :: Type -> Type

Methods

morphing :: (Tagged 'Push <:.> Comprehension t) ~> Morphing 'Push (Comprehension t)