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 Divisible t = (Covariant (->) (->) t, Semimonoidal (<--) (:*:) (:*:) t, Monoidal (-->) (<--) (:*:) (:*:) t)

type Decidable 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 b -> t a -> t b infixl 4

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

(.-*-*-) :: (Covariant (->) (->) t, Covariant (->) (->) u, Semimonoidal (-->) (:*:) (:*:) t, Semimonoidal (-->) (:*:) (:*:) u) => t (u b) -> t (u a) -> t (u b) infixl 3

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

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

(-+-) :: (Covariant (->) (->) t, Semimonoidal (-->) (:*:) (:+:) t) => t a -> t a -> t a infixl 3

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

empty :: Emptiable t => t a

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

pass :: Pointable t => t ()

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

Orphan instances

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

Methods

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

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

Methods

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

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

Methods

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

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

Methods

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

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 (->)) (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