Data.Profunctor.Extraction

Documentation

class Profunctor p => Extraction p where

Methods

extractions :: Comonad w => p (w a) b -> p (w a) (w b)

Instances

Distributive f => Extraction (Star f)

Defined in Data.Profunctor.Extraction

Methods

extractions :: Comonad w => Star f (w a) b -> Star f (w a) (w b)

Extraction (Forget r)

Defined in Data.Profunctor.Extraction

Methods

extractions :: Comonad w => Forget r (w a) b -> Forget r (w a) (w b)

Extraction ((->) :: Type -> Type -> Type)

Defined in Data.Profunctor.Extraction

Methods

extractions :: Comonad w => (w a -> b) -> w a -> w b

act :: (Star f a b -> Star f s t) -> (a -> f b) -> s -> f t

t :: NonEmpty a -> Pair (Maybe a)

u :: NonEmpty Int -> Pair Int

home :: Int -> Store Int Int -> Either Int Int

looper :: NonEmpty Int -> Either [Int] Int

coiterate :: forall w a b. (Traversable w, Comonad w) => (w a -> Either b a) -> w a -> w b