Pandora.Paradigm.Primary.Algebraic.Exponential

Documentation

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

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

(!.) :: a -> b -> a infixr 2

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

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

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

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

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

Orphan instances

Semigroupoid (<--)

Methods

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

Category (<--)

Methods

identity :: a <-- a

($) :: (a <-- b) <-- (a <-- b)

(#) :: (a <-- b) <-- (a <-- b)

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)

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

Methods

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

Divariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

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

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

Methods

(-<$>-) :: (a0 -> b) -> (a -> a0) -> (a -> 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)