Safe Haskell	Safe-Inferred
Language	Haskell2010

Pandora.Paradigm.Primary.Functor.Proxy

Documentation

data Proxy a Source #

Constructors

Proxy

Instances

Instances details

Extendable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Proxy Methods (<<=) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<==) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<===) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<====) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<=====) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<======) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<=======) :: (Proxy a -> b) -> Proxy a -> Proxy b Source # (<<========) :: (Proxy a -> b) -> Proxy a -> Proxy b Source #
Bindable ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Proxy Methods (=<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (==<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (===<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (====<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (=====<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (======<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source # (=======<<) :: (a -> Proxy b) -> Proxy a -> Proxy b Source #
Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Proxy Methods (<-\|-) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|--) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|---) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|----) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|-----) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|------) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|-------) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|--------) :: (a -> b) -> Proxy a -> Proxy b Source # (<-\|-\|-) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|--) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|---) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|-----) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|-------) :: (Covariant (->) (Betwixt (->) (->)) u, Covariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source # (<-\|-\|-\|-) :: (Covariant (->) (Betwixt (->) (Betwixt (->) (->))) v, Covariant (Betwixt (->) (Betwixt (->) (->))) (Betwixt (Betwixt (->) (->)) (->)) u, Covariant (Betwixt (Betwixt (->) (->)) (->)) (->) Proxy) => (a -> b) -> Proxy (u (v a)) -> Proxy (u (v b)) Source #
Distributive ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Proxy Methods (-<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (--<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (---<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (----<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (-----<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (------<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source # (-------<<) :: Covariant (->) (->) u => (a -> Proxy b) -> u a -> Proxy (u b) Source #
Contravariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Proxy :: Type -> Type) Source #
Instance details Defined in Pandora.Paradigm.Primary.Functor.Proxy Methods (>-\|-) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|--) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|---) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|----) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|-----) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|------) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|-------) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|--------) :: (a -> b) -> Proxy b -> Proxy a Source # (>-\|-\|-) :: (Contravariant (->) (Betwixt (->) (->)) u, Contravariant (Betwixt (->) (->)) (->) Proxy) => (a -> b) -> Proxy (u a) -> Proxy (u b) Source #