Data.Profunctor.Sieve

Documentation

class (Profunctor p, Functor f) => Sieve p f | 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.

Minimal complete definition

sieve

Methods

sieve :: p a b -> a -> f b

Instances

(Monad m, Functor m) => Sieve (Kleisli m) m

Defined in Data.Profunctor.Sieve

Methods

sieve :: Kleisli m a b -> a -> m b

Functor f => Sieve (Star f) f

Defined in Data.Profunctor.Sieve

Methods

sieve :: Star f a b -> a -> f b

Sieve (Forget r) (Const r :: * -> *)

Defined in Data.Profunctor.Sieve

Methods

sieve :: Forget r a b -> a -> Const r b

Sieve ((->) :: * -> * -> *) Identity

Defined in Data.Profunctor.Sieve

Methods

sieve :: (a -> b) -> a -> Identity b

(Sieve p f, Sieve q g) => Sieve (Procompose p q) (Compose g f)

Defined in Data.Profunctor.Composition

Methods

sieve :: Procompose p q a b -> a -> Compose g f b

class (Profunctor p, Functor f) => Cosieve p f | 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.

Minimal complete definition

cosieve

Methods

cosieve :: p a b -> f a -> b

Instances

Functor w => Cosieve (Cokleisli w) w

Defined in Data.Profunctor.Sieve

Methods

cosieve :: Cokleisli w a b -> w a -> b

Functor f => Cosieve (Costar f) f

Defined in Data.Profunctor.Sieve

Methods

cosieve :: Costar f a b -> f a -> b

Cosieve (Tagged :: * -> * -> *) (Proxy :: * -> *)

Defined in Data.Profunctor.Sieve

Methods

cosieve :: Tagged a b -> Proxy a -> b

Cosieve ((->) :: * -> * -> *) Identity

Defined in Data.Profunctor.Sieve

Methods

cosieve :: (a -> b) -> Identity a -> b

(Cosieve p f, Cosieve q g) => Cosieve (Procompose p q) (Compose f g)

Defined in Data.Profunctor.Composition

Methods

cosieve :: Procompose p q a b -> Compose f g a -> b