Pandora.Paradigm.Basis.Proxy

Documentation

data Proxy a

Constructors

Proxy

Instances

Contravariant (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

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

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

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

full :: Proxy () -> Proxy a

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

(>$$<) :: Contravariant u => (a -> b) -> ((Proxy :.: u) >< a) -> (Proxy :.: u) >< b

(>$$$<) :: (Contravariant u, Contravariant v) => (a -> b) -> ((Proxy :.: (u :.: v)) >< b) -> (Proxy :.: (u :.: v)) >< a

(>$$$$<) :: (Contravariant u, Contravariant v, Contravariant w) => (a -> b) -> ((Proxy :.: (u :.: (v :.: w))) >< a) -> (Proxy :.: (u :.: (v :.: w))) >< b

(>&&<) :: Contravariant u => ((Proxy :.: u) >< a) -> (a -> b) -> (Proxy :.: u) >< b

(>&&&<) :: (Contravariant u, Contravariant v) => ((Proxy :.: (u :.: v)) >< b) -> (a -> b) -> (Proxy :.: (u :.: v)) >< a

(>&&&&<) :: (Contravariant u, Contravariant v, Contravariant w) => ((Proxy :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Proxy :.: (u :.: (v :.: w))) >< b

Covariant (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

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

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

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

void :: Proxy a -> Proxy ()

loeb :: Proxy (Proxy a -> a) -> Proxy a

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

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

(<$$$>) :: (Covariant u, Covariant v) => (a -> b) -> ((Proxy :.: (u :.: v)) >< a) -> (Proxy :.: (u :.: v)) >< b

(<$$$$>) :: (Covariant u, Covariant v, Covariant w) => (a -> b) -> ((Proxy :.: (u :.: (v :.: w))) >< a) -> (Proxy :.: (u :.: (v :.: w))) >< b

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

(<&&&>) :: (Covariant u, Covariant v) => ((Proxy :.: (u :.: v)) >< a) -> (a -> b) -> (Proxy :.: (u :.: v)) >< b

(<&&&&>) :: (Covariant u, Covariant v, Covariant w) => ((Proxy :.: (u :.: (v :.: w))) >< a) -> (a -> b) -> (Proxy :.: (u :.: (v :.: w))) >< b

Bindable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

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

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

join :: (Proxy :.: Proxy) a -> Proxy a

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

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

Applicative (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

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

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

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

forever :: Proxy a -> Proxy b

(<**>) :: Applicative u => (Proxy :.: u) (a -> b) -> (Proxy :.: u) a -> (Proxy :.: u) b

(<***>) :: (Applicative u, Applicative v) => (Proxy :.: (u :.: v)) (a -> b) -> (Proxy :.: (u :.: v)) a -> (Proxy :.: (u :.: v)) b

(<****>) :: (Applicative u, Applicative v, Applicative w) => (Proxy :.: (u :.: (v :.: w))) (a -> b) -> (Proxy :.: (u :.: (v :.: w))) a -> (Proxy :.: (u :.: (v :.: w))) b

Alternative (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

(<+>) :: Proxy a -> Proxy a -> Proxy a

alter :: Proxy a -> Proxy a -> Proxy a

Distributive (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

(>>-) :: Covariant t => t a -> (a -> Proxy b) -> (Proxy :.: t) b

collect :: Covariant t => (a -> Proxy b) -> t a -> (Proxy :.: t) b

distribute :: Covariant t => (t :.: Proxy) a -> (Proxy :.: t) a

(>>>-) :: (Covariant t, Covariant v) => (t :.: v) a -> (a -> Proxy b) -> (Proxy :.: (t :.: v)) b

(>>>>-) :: (Covariant t, Covariant v, Covariant w) => (t :.: (v :.: w)) a -> (a -> Proxy b) -> (Proxy :.: (t :.: (v :.: w))) b

(>>>>>-) :: (Covariant t, Covariant v, Covariant w, Covariant j) => (t :.: (v :.: (w :.: j))) a -> (a -> Proxy b) -> (Proxy :.: (t :.: (v :.: (w :.: j)))) b

Extendable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

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

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

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

duplicate :: Proxy a -> (Proxy :.: Proxy) a

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

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

Pointable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy

Methods

point :: a -> Proxy a

Monad (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Basis.Proxy