Pandora.Paradigm.Primary.Algebraic.Exponential

Documentation

(-.#..-) :: (Covariant (v a) (->) target, 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

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 (Flip ((->) :: Type -> Type -> Type) a) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type)

Methods

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

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

Methods

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

Representable ((->) e :: Type -> Type)

Associated Types

type Representation ((->) e)

Methods

(<#>) :: Representation ((->) e) -> a <:= (->) e

tabulate :: (Representation ((->) e) -> a) -> e -> a

index :: (e -> a) -> Representation ((->) e) -> a

Pointable ((->) e :: Type -> Type) ((->) :: Type -> Type -> Type)

Methods

point :: a -> (e -> a)

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

Methods

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

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

Methods

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

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

Methods

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