Pandora.Paradigm.Primary.Algebraic.Sum

Documentation

data s :+: a infixr 0

Constructors

Option s

Adoption a

Instances

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)

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

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

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

Semimonoidal ((:+:) e :: Type -> Type) ((->) :: Type -> 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 (Validation e :: Type -> Type) ((->) :: Type -> 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 (Conclusion e :: Type -> Type) ((->) :: Type -> 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)

Pointable ((:+:) e) ((->) :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Sum

Methods

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

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

Defined in Pandora.Paradigm.Primary.Algebraic.Sum

Methods

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

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

Defined in Pandora.Paradigm.Primary.Algebraic.Sum

Methods

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