Pandora.Paradigm.Primary.Algebraic.Exponential

Documentation

type (<--) = Flip (->)

type (-->) = Straight (->)

(-.#..-) :: (Covariant (->) target (v a), Semigroupoid v) => v c d -> target (v a (v b c)) (v a (v b d)) infixr 7

(%) :: (a -> b -> c) -> b -> a -> c infixr 9

(&) :: a -> (a -> b) -> b infixl 1

fix :: (a -> a) -> a

Orphan instances

Semigroup r => Semigroup (e -> r)

Methods

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

Ringoid r => Ringoid (e -> r)

Methods

(*) :: (e -> r) -> (e -> r) -> e -> r

Semigroupoid ((->) :: Type -> Type -> Type)

Methods

(.) :: (b -> c) -> (a -> b) -> a -> c

Category ((->) :: Type -> Type -> Type)

Methods

identity :: a -> a

(#) :: (a -> b) -> (a -> b)

Kernel ((->) :: Type -> Type -> Type)

Methods

constant :: a -> (i -> a)

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((-->) b)

Methods

(<-|-) :: (a -> b0) -> (b --> a) -> (b --> b0)

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u b0)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u (v a)) -> (b --> u (v b0))

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((<--) a)

Methods

(>-|-) :: (a0 -> b) -> (a <-- b) -> (a <-- a0)

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) ((<--) a)) => (a0 -> b) -> (a <-- u a0) -> (a <-- u b)

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

Methods

(<-|-) :: (a0 -> b) -> (a -> a0) -> (a -> b)

(<-|-|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u b)

(<-|-|-|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u (v a0)) -> (a -> u (v b))

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) e :: Type -> Type)

Methods

(-<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b)

Bindable ((->) :: Type -> Type -> Type) ((->) e :: Type -> Type)

Methods

(=<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b)