Data.Profunctor.Cont

Documentation

data ContP r a b

Constructors

ContP

Fields

• runContP :: a -> (b -> r) -> r

Instances

Profunctor (ContP r)

Defined in Data.Profunctor.Cont

Methods

dimap :: (a -> b) -> (c -> d) -> ContP r b c -> ContP r a d

lmap :: (a -> b) -> ContP r b c -> ContP r a c

rmap :: (b -> c) -> ContP r a b -> ContP r a c

(#.) :: forall a b c q. Coercible c b => q b c -> ContP r a b -> ContP r a c

(.#) :: forall a b c q. Coercible b a => ContP r b c -> q a b -> ContP r a c

Choice (ContP r)

Defined in Data.Profunctor.Cont

Methods

left' :: ContP r a b -> ContP r (Either a c) (Either b c)

right' :: ContP r a b -> ContP r (Either c a) (Either c b)

Strong (ContP r)

Defined in Data.Profunctor.Cont

Methods

first' :: ContP r a b -> ContP r (a, c) (b, c)

second' :: ContP r a b -> ContP r (c, a) (c, b)

ProfunctorApply (ContP r)

Defined in Data.Profunctor.Cont

Methods

app :: ContP r (ContP r a b, a) b

ProfunctorCont (ContP r)

Defined in Data.Profunctor.Cont

Methods

callCC :: (ContP r a b -> ContP r x a) -> ContP r x a

Category (ContP r :: Type -> Type -> Type)

Defined in Data.Profunctor.Cont

Methods

id :: forall (a :: k). ContP r a a

(.) :: forall (b :: k) (c :: k) (a :: k). ContP r b c -> ContP r a b -> ContP r a c

Functor (ContP r a)

Defined in Data.Profunctor.Cont

Methods

fmap :: (a0 -> b) -> ContP r a a0 -> ContP r a b

(<$) :: a0 -> ContP r a b -> ContP r a a0

class Profunctor p => ProfunctorCont p where

Methods

callCC :: (p a b -> p x a) -> p x a

Instances

ProfunctorCont (ContP r)

Defined in Data.Profunctor.Cont

Methods

callCC :: (ContP r a b -> ContP r x a) -> ContP r x a

evalContP :: ContP r a r -> a -> r

reset :: ContP r a r -> ContP r' a r

shift :: ContP r (ContP r (a -> r) r) a

neutralize :: ContP r r x

testP :: ContP String Int Int

testP'' :: ContP String Int Int

splitPred :: (a -> Bool) -> a -> Either a a

unify :: Either a a -> a