Pandora.Paradigm.Primary.Algebraic

Documentation

module Pandora.Paradigm.Primary.Algebraic.One

module Pandora.Paradigm.Primary.Algebraic.Zero

module Pandora.Paradigm.Primary.Algebraic.Sum

module Pandora.Paradigm.Primary.Algebraic.Product

module Pandora.Paradigm.Primary.Algebraic.Exponential

type Applicative t = (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:*:) t, Monoidal (-->) (->) (:*:) (:*:) t)

type Alternative t = (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t, Monoidal (-->) (->) (:*:) (:+:) t)

type Extractable t = Monoidal (<--) (->) (:*:) (:*:) t

type Pointable t = Monoidal (-->) (->) (:*:) (:*:) 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))

(<-*-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:*:) t) => t (a -> b) -> t a -> t b infixl 4

(*>-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:*:) t) => t a -> t b -> t b

forever_ :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:*:) t) => t a -> t b

(-+-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t) => t a -> t b -> ((a :+: b) -> r) -> t r

void :: Covariant (->) (->) t => t a -> t ()

empty :: Emptiable t => t a

point :: Pointable t => a -> t a

extract :: Extractable t => t a -> a

Orphan instances

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

Methods

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

Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) ((:*:) s)

Methods

unit :: Proxy (:*:) -> (Unit (:*:) -> a) <-- (s :*: a)

Monoidal (<--) ((->) :: Type -> Type -> Type) (:*:) (:*:) (Flip (:*:) a)

Methods

unit :: Proxy (:*:) -> (Unit (:*:) -> a0) <-- Flip (:*:) a a0

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

Methods

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

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

Methods

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

Semimonoidal (<--) (:*:) (:*:) ((:*:) s :: Type -> Type)

Methods

mult :: forall (a :: k) (b :: k). ((s :*: a) :*: (s :*: b)) <-- (s :*: (a :*: b))

Semimonoidal (<--) (:*:) (:*:) (Flip (:*:) a :: Type -> Type)

Methods

mult :: forall (a0 :: k) (b :: k). (Flip (:*:) a a0 :*: Flip (:*:) a b) <-- Flip (:*:) a (a0 :*: b)

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

Methods

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

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

Methods

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

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

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

Methods

(<<-) :: (Covariant (->) (->) u, Monoidal (Straight (->)) (->) (:*:) (:*:) u) => (a -> u b) -> (s :*: a) -> u (s :*: b)

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

Methods

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

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