Pandora.Paradigm.Primary.Functor.Proxy

Documentation

data Proxy a

Constructors

Proxy

Instances

Extendable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Bindable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

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

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

Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

(>-|-) :: (a -> b) -> Proxy b -> Proxy a

(>-|-|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b)