Pandora.Paradigm.Primary.Algebraic

Documentation

module Pandora.Paradigm.Primary.Algebraic.Sum

module Pandora.Paradigm.Primary.Algebraic.Product

module Pandora.Paradigm.Primary.Algebraic.Exponential

type Applicative_ t = (Endofunctor Covariant t (->), Semimonoidal t (->) (:*:) (:*:))

type Alternative_ t = (Endofunctor Covariant t (->), Semimonoidal t (->) (:*:) (:+:))

($>-) :: Covariant t (->) (->) => t a -> b -> t b

($$>-) :: (Covariant t (->) (->), Covariant u (->) (->)) => t (u a) -> b -> t (u b)

($$$>-) :: (Covariant t (->) (->), Covariant u (->) (->), Covariant v (->) (->)) => t (u (v a)) -> b -> t (u (v b))

(-<*>-) :: Applicative_ t => t (a -> b) -> t a -> t b infixl 4

(*>-) :: Applicative_ t => t a -> t b -> t b

forever_ :: Applicative_ t => t a -> t b

(-+-) :: Alternative_ t => t a -> t b -> ((a :+: b) -> r) -> t r

Orphan instances

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

Methods

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

Traversable ((:*:) s) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

(<<-) :: (Covariant u (->) (->), Pointable u (->), Semimonoidal u (->) (:*:) (:*:)) => (a -> u b) -> (s :*: a) -> u (s :*: b)

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

Methods

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

Adjoint ((:*:) s) ((->) s :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

(-|) :: ((s :*: a) -> b) -> a -> (s -> b)

(|-) :: (a -> (s -> b)) -> (s :*: a) -> b