Data.Profunctor.Product.Examples

Documentation

newtype Replicator r f a b

Constructors

Replicator (r -> f b)

Instances

Functor f => Profunctor (Replicator r f)

Defined in Data.Profunctor.Product.Examples

Methods

dimap :: (a -> b) -> (c -> d) -> Replicator r f b c -> Replicator r f a d

lmap :: (a -> b) -> Replicator r f b c -> Replicator r f a c

rmap :: (b -> c) -> Replicator r f a b -> Replicator r f a c

(#.) :: Coercible c b => q b c -> Replicator r f a b -> Replicator r f a c

(.#) :: Coercible b a => Replicator r f b c -> q a b -> Replicator r f a c

Applicative f => ProductProfunctor (Replicator r f)

Defined in Data.Profunctor.Product.Examples

Methods

purePP :: b -> Replicator r f a b

(****) :: Replicator r f a (b -> c) -> Replicator r f a b -> Replicator r f a c

empty :: Replicator r f () ()

(***!) :: Replicator r f a b -> Replicator r f a' b' -> Replicator r f (a, a') (b, b')

Applicative f => Default (Replicator (f b) f) b b

Defined in Data.Profunctor.Product.Examples

Methods

def :: Replicator (f b) f b b

Functor f => Functor (Replicator r f a)

Defined in Data.Profunctor.Product.Examples

Methods

fmap :: (a0 -> b) -> Replicator r f a a0 -> Replicator r f a b

(<$) :: a0 -> Replicator r f a b -> Replicator r f a a0

Applicative f => Applicative (Replicator r f a)

Defined in Data.Profunctor.Product.Examples

Methods

pure :: a0 -> Replicator r f a a0

(<*>) :: Replicator r f a (a0 -> b) -> Replicator r f a a0 -> Replicator r f a b

liftA2 :: (a0 -> b -> c) -> Replicator r f a a0 -> Replicator r f a b -> Replicator r f a c

(*>) :: Replicator r f a a0 -> Replicator r f a b -> Replicator r f a b

(<*) :: Replicator r f a a0 -> Replicator r f a b -> Replicator r f a a0

replicateT :: Default (Replicator r f) b b => r -> f b

A higher-order generalisation of replicate. For example

foo :: IO (String, String, String)
foo = replicateT getLine

> foo
Hello
world
!
("Hello","world","!")

newtype Take a z b

Constructors

Take ([a] -> Maybe ([a], b))

Instances

Profunctor (Take a)

Defined in Data.Profunctor.Product.Examples

Methods

dimap :: (a0 -> b) -> (c -> d) -> Take a b c -> Take a a0 d

lmap :: (a0 -> b) -> Take a b c -> Take a a0 c

rmap :: (b -> c) -> Take a a0 b -> Take a a0 c

(#.) :: Coercible c b => q b c -> Take a a0 b -> Take a a0 c

(.#) :: Coercible b a0 => Take a b c -> q a0 b -> Take a a0 c

ProductProfunctor (Take a)

Defined in Data.Profunctor.Product.Examples

Methods

purePP :: b -> Take a a0 b

(****) :: Take a a0 (b -> c) -> Take a a0 b -> Take a a0 c

empty :: Take a () ()

(***!) :: Take a a0 b -> Take a a' b' -> Take a (a0, a') (b, b')

Default (Take a) z a

Defined in Data.Profunctor.Product.Examples

Methods

def :: Take a z a

Functor (Take a z)

Defined in Data.Profunctor.Product.Examples

Methods

fmap :: (a0 -> b) -> Take a z a0 -> Take a z b

(<$) :: a0 -> Take a z b -> Take a z a0

Applicative (Take a z)

Defined in Data.Profunctor.Product.Examples

Methods

pure :: a0 -> Take a z a0

(<*>) :: Take a z (a0 -> b) -> Take a z a0 -> Take a z b

liftA2 :: (a0 -> b -> c) -> Take a z a0 -> Take a z b -> Take a z c

(*>) :: Take a z a0 -> Take a z b -> Take a z b

(<*) :: Take a z a0 -> Take a z b -> Take a z a0

takeT :: Default (Take a) b b => [a] -> Maybe b

A type safe generalisation of take. For example

> let count = [1..] :: [Int]
> takeT count :: Maybe (Int, Int)
Just (1,2)
> takeT count
    :: Maybe (Int, Int, (Int, (Int, Int), Int, Int),
              Const Int Bool, Identity (Int, Int), Tagged String Int)
Just (1,2,(3,(4,5),6,7),Const 8,Identity (9,10),Tagged 11)

newtype Traverse f a b

Constructors

Traverse

Fields

• runTraverse :: a -> f b

Instances

Functor f => Profunctor (Traverse f)

Defined in Data.Profunctor.Product.Examples

Methods

dimap :: (a -> b) -> (c -> d) -> Traverse f b c -> Traverse f a d

lmap :: (a -> b) -> Traverse f b c -> Traverse f a c

rmap :: (b -> c) -> Traverse f a b -> Traverse f a c

(#.) :: Coercible c b => q b c -> Traverse f a b -> Traverse f a c

(.#) :: Coercible b a => Traverse f b c -> q a b -> Traverse f a c

Applicative f => ProductProfunctor (Traverse f)

Defined in Data.Profunctor.Product.Examples

Methods

purePP :: b -> Traverse f a b

(****) :: Traverse f a (b -> c) -> Traverse f a b -> Traverse f a c

empty :: Traverse f () ()

(***!) :: Traverse f a b -> Traverse f a' b' -> Traverse f (a, a') (b, b')

Default (Traverse f) (f a) a

Defined in Data.Profunctor.Product.Examples

Methods

def :: Traverse f (f a) a

Functor f => Functor (Traverse f a)

Defined in Data.Profunctor.Product.Examples

Methods

fmap :: (a0 -> b) -> Traverse f a a0 -> Traverse f a b

(<$) :: a0 -> Traverse f a b -> Traverse f a a0

Applicative f => Applicative (Traverse f a)

Defined in Data.Profunctor.Product.Examples

Methods

pure :: a0 -> Traverse f a a0

(<*>) :: Traverse f a (a0 -> b) -> Traverse f a a0 -> Traverse f a b

liftA2 :: (a0 -> b -> c) -> Traverse f a a0 -> Traverse f a b -> Traverse f a c

(*>) :: Traverse f a a0 -> Traverse f a b -> Traverse f a b

(<*) :: Traverse f a a0 -> Traverse f a b -> Traverse f a a0

traverseT :: Default (Traverse f) a b => a -> f b