Pandora.Paradigm.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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((-->) b)) => (a -> b0) -> (b --> u a) -> (b --> u 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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(<-|-|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) ((->) a)) => (a0 -> b) -> (a -> u a0) -> (a -> u 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)

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

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

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

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

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

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

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

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

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

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

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

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