proton-0.0.4
Safe HaskellNone
LanguageHaskell2010

Data.Profunctor.Extraction

Documentation

class Profunctor p => Extraction p where Source #

Methods

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

Instances

Instances details
Distributive f => Extraction (Star f) Source # 
Instance details

Defined in Data.Profunctor.Extraction

Methods

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

Extraction (Forget r) Source # 
Instance details

Defined in Data.Profunctor.Extraction

Methods

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

Extraction ((->) :: Type -> Type -> Type) Source # 
Instance details

Defined in Data.Profunctor.Extraction

Methods

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

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

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

u :: NonEmpty Int -> Pair Int Source #

home :: Int -> Store Int Int -> Either Int Int Source #

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

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