pandora-0.4.5: A box of patterns and paradigms
Safe HaskellSafe-Inferred
LanguageHaskell2010

Pandora.Paradigm.Primary.Functor.Proxy

Documentation

data Proxy a Source #

Constructors

Proxy 

Instances

Instances details
Monad (Proxy :: Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Pointable (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

point :: a -> Proxy a Source #

Extendable (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Bindable (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Covariant (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

(-<$>-) :: (a -> b) -> Proxy a -> Proxy b Source #

Distributive (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

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

Contravariant (Proxy :: Type -> Type) ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

(->$<-) :: (a -> b) -> Proxy b -> Proxy a Source #