Pandora.Paradigm.Primary.Functor.These

Documentation

data These e a

Constructors

This a

That e

These e a

Instances

Morphable ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2)

Defined in Pandora.Paradigm.Primary

Associated Types

type Morphing ('Into ('This Maybe)) (These e2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('This Maybe)) <:.> These e2) ~> Morphing ('Into ('This Maybe)) (These e2)

Morphable ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2)

Defined in Pandora.Paradigm.Primary

Associated Types

type Morphing ('Into ('That Maybe)) (Flip These a2) :: Type -> Type

Methods

morphing :: (Tagged ('Into ('That Maybe)) <:.> Flip These a2) ~> Morphing ('Into ('That Maybe)) (Flip These a2)

(Semigroup e, Semigroup a) => Semigroup (These e a)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

(+) :: These e a -> These e a -> These e a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (These e)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

(-<$>-) :: (a -> b) -> These e a -> These e b

Traversable ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (These e)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (->) (->) (:*:) (:*:) u) => (a -> u b) -> These e a -> u (These e b)

type Morphing ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2)

Defined in Pandora.Paradigm.Primary

type Morphing ('Into ('This Maybe :: These e1 (Type -> Type)) :: Morph (These e1 (Type -> Type))) (These e2) = Maybe

type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2)

Defined in Pandora.Paradigm.Primary

type Morphing ('Into ('That Maybe :: These (Type -> Type) a1) :: Morph (These (Type -> Type) a1)) (Flip These a2) = Maybe

these :: (a -> r) -> (e -> r) -> (e -> a -> r) -> These e a -> r