Moduleprofunctors-5.6.3Haskell2010

Data.Profunctor.Sieve

Synopsis

classclass (Profunctor p, Functor f) => Sieve (p :: Type -> Type -> Type) (f :: Type -> Type) | p -> f where

A Profunctor p is a Sieve on f if it is a subprofunctor of Star f.

That is to say it is a subset of Hom(-,f=) closed under lmap and rmap.

Alternately, you can view it as a sieve in the comma category Hask/f.

Instances5Sieve

(Monad m, Functor m) => Sieve (Kleisli m) mDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Functor f => Sieve (Star f) fDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Sieve (->) IdentityDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Sieve (Forget r) (Const r)Defined in profunctors-5.6.3 · Data.Profunctor.Sieve
(Sieve p f, Sieve q g) => Sieve (Procompose p q) (Compose g f)Defined in profunctors-5.6.3 · Data.Profunctor.Composition

classclass (Profunctor p, Functor f) => Cosieve (p :: Type -> Type -> Type) (f :: Type -> Type) | p -> f where

A Profunctor p is a Cosieve on f if it is a subprofunctor of Costar f.

That is to say it is a subset of Hom(f-,=) closed under lmap and rmap.

Alternately, you can view it as a cosieve in the comma category f/Hask.

Instances5Cosieve

Cosieve Tagged ProxyDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Functor f => Cosieve (Costar f) fDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Functor w => Cosieve (Cokleisli w) wDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
Cosieve (->) IdentityDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
(Cosieve p f, Cosieve q g) => Cosieve (Procompose p q) (Compose f g)Defined in profunctors-5.6.3 · Data.Profunctor.Composition