Pandora.Paradigm.Primary.Algebraic.Sum

Documentation

data s :+: a infixr 0

Constructors

Option s

Adoption a

Instances

Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) ((:+:) e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic

Methods

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

Semigroup e => Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) (Validation e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

multiply :: forall (a :: k) (b :: k). (Validation e a :*: Validation e b) -> Validation e (a :+: b)

Semigroup e => Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) (Conclusion e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

multiply :: forall (a :: k) (b :: k). (Conclusion e a :*: Conclusion e b) -> Conclusion e (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)

Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:+:) e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic

Methods

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

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Semimonoidal ((->) :: Type -> Type -> Type) (:*:) (:+:) (t <:.> u :: Type -> Type)

Defined in Pandora.Paradigm.Schemes.TU

Methods

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

Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:+:) Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

unit :: Proxy (:*:) -> (Unit (:+:) -> a) -> Maybe a

(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

Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:+:) e)

Defined in Pandora.Paradigm.Primary.Algebraic

Methods

unit :: Proxy (:*:) -> (Unit (:*:) -> a) -> (e :+: a)

(Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) u, Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:+:) t) => Monoidal ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:*:) (:+:) (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

unit :: Proxy (:*:) -> (Unit (:+:) -> a) -> (t <:.> u) a

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((:+:) s)

Defined in Pandora.Paradigm.Primary.Algebraic.Sum

Methods

(-<$>-) :: (a -> b) -> (s :+: a) -> (s :+: b)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:+:) a)

Defined in Pandora.Paradigm.Primary.Algebraic.Sum

Methods

(-<$>-) :: (a0 -> b) -> Flip (:+:) a a0 -> Flip (:+:) a b

Bivariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (:+:)

Defined in Pandora.Paradigm.Primary.Algebraic.Sum

Methods

(<->) :: (a -> b) -> (c -> d) -> (a :+: c) -> (b :+: d)

type Unit (:+:)

Defined in Pandora.Paradigm.Primary.Algebraic

type Unit (:+:) = Zero

sum :: (e -> r) -> (a -> r) -> (e :+: a) -> r