Pandora.Core.Appliable

Documentation

class Appliable m a b n c d | m a b -> n c d where

Methods

(!) :: m a b -> n c d infixr 0

Instances

Appliable (Straight m :: Type -> Type -> Type) (c :: Type) (b :: Type) (m :: Type -> Type -> Type) (c :: Type) (b :: Type)

Defined in Pandora.Pattern.Morphism.Straight

Methods

(!) :: Straight m c b -> m c b

Appliable (Flip m :: Type -> Type -> Type) (b :: Type) (c :: Type) (m :: Type -> Type -> Type) (c :: Type) (b :: Type)

Defined in Pandora.Pattern.Morphism.Flip

Methods

(!) :: Flip m b c -> m c b

Appliable ((->) :: Type -> Type -> Type) (c :: Type) (b :: Type) ((->) :: Type -> Type -> Type) (c :: Type) (b :: Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

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

Appliable ((->) :: Type -> Type -> Type) (a :: Type) (b -> c :: Type) ((->) :: Type -> Type -> Type) (b :: Type) (a -> c :: Type)

Defined in Pandora.Paradigm.Primary.Algebraic.Exponential

Methods

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