Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Algebraic.Exponential

Contents

Orphan instances

Documentation

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

type (-->) = Straight (->) Source #

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

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

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

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

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

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

fix :: (a -> a) -> a Source #

Orphan instances

Appliable ((->) :: Type -> Type -> Type) (c :: Type) (b :: Type) ((->) :: Type -> Type -> Type) (c :: Type) (b :: Type) Source #
Instance details Methods (!) :: (c -> b) -> c -> b Source #
Appliable ((->) :: Type -> Type -> Type) (a :: Type) (b -> c :: Type) ((->) :: Type -> Type -> Type) (b :: Type) (a -> c :: Type) Source #
Instance details Methods (!) :: (a -> (b -> c)) -> b -> (a -> c) Source #
Semigroup r => Semigroup (e -> r) Source #
Instance details Methods (+) :: (e -> r) -> (e -> r) -> e -> r Source #
Ringoid r => Ringoid (e -> r) Source #
Instance details Methods (*) :: (e -> r) -> (e -> r) -> e -> r Source #
Semigroupoid ((->) :: Type -> Type -> Type) Source #
Instance details Methods (.) :: (b -> c) -> (a -> b) -> a -> c Source #
Category ((->) :: Type -> Type -> Type) Source #
Instance details Methods identity :: a -> a Source # ($) :: (a -> b) -> (a -> b) Source # (#) :: (a -> b) -> (a -> b) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((-->) b) Source #
Instance details Methods (<$>) :: (a -> b0) -> (b --> a) -> (b --> b0) Source #
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((<--) a) Source #
Instance details Methods (>$<) :: (a0 -> b) -> (a <-- b) -> (a <-- a0) Source #
Divariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source #
Instance details Methods (>->) :: (a -> b) -> (c -> d) -> (b -> c) -> (a -> d) Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) a :: Type -> Type) Source #
Instance details Methods (<$>) :: (a0 -> b) -> (a -> a0) -> (a -> b) Source #
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) ((->) e :: Type -> Type) Source #
Instance details Methods (-<<) :: Covariant (->) (->) u => (a -> (e -> b)) -> u a -> (e -> u b) Source #
Bindable ((->) :: Type -> Type -> Type) ((->) e :: Type -> Type) Source #
Instance details Methods (=<<) :: (a -> (e -> b)) -> (e -> a) -> (e -> b) Source #