Control.Arrow.Transformer.CoState

Transformation of state readers.

TODO: define operations for this arrow.

Documentation

newtype CoStateArrow s a b c

Constructors

CoStateArrow (a (s -> b) (s -> c))

Instances

Category * a => Category * (CoStateArrow s a)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Arrow a => Arrow (CoStateArrow s a)

Methods

arr :: (b -> c) -> CoStateArrow s a b c

first :: CoStateArrow s a b c -> CoStateArrow s a (b, d) (c, d)

second :: CoStateArrow s a b c -> CoStateArrow s a (d, b) (d, c)

(***) :: CoStateArrow s a b c -> CoStateArrow s a b' c' -> CoStateArrow s a (b, b') (c, c')

(&&&) :: CoStateArrow s a b c -> CoStateArrow s a b c' -> CoStateArrow s a b (c, c')

ArrowZero a => ArrowZero (CoStateArrow s a)

Methods

zeroArrow :: CoStateArrow s a b c

ArrowPlus a => ArrowPlus (CoStateArrow s a)

Methods

(<+>) :: CoStateArrow s a b c -> CoStateArrow s a b c -> CoStateArrow s a b c

ArrowLoop a => ArrowLoop (CoStateArrow s a)

Methods

loop :: CoStateArrow s a (b, d) (c, d) -> CoStateArrow s a b c

Arrow a => Functor (CoStateArrow s a b)

Methods

fmap :: (a -> b) -> CoStateArrow s a b a -> CoStateArrow s a b b

(<$) :: a -> CoStateArrow s a b b -> CoStateArrow s a b a

Arrow a => Applicative (CoStateArrow s a b)

Methods

pure :: a -> CoStateArrow s a b a

(<*>) :: CoStateArrow s a b (a -> b) -> CoStateArrow s a b a -> CoStateArrow s a b b

liftA2 :: (a -> b -> c) -> CoStateArrow s a b a -> CoStateArrow s a b b -> CoStateArrow s a b c

(*>) :: CoStateArrow s a b a -> CoStateArrow s a b b -> CoStateArrow s a b b

(<*) :: CoStateArrow s a b a -> CoStateArrow s a b b -> CoStateArrow s a b a

ArrowPlus a => Alternative (CoStateArrow s a b)

Methods

empty :: CoStateArrow s a b a

(<|>) :: CoStateArrow s a b a -> CoStateArrow s a b a -> CoStateArrow s a b a

some :: CoStateArrow s a b a -> CoStateArrow s a b [a]

many :: CoStateArrow s a b a -> CoStateArrow s a b [a]

ArrowPlus a => Semigroup (CoStateArrow s a b c)

Methods

(<>) :: CoStateArrow s a b c -> CoStateArrow s a b c -> CoStateArrow s a b c

sconcat :: NonEmpty (CoStateArrow s a b c) -> CoStateArrow s a b c

stimes :: Integral b => b -> CoStateArrow s a b c -> CoStateArrow s a b c

ArrowPlus a => Monoid (CoStateArrow s a b c)

Methods

mempty :: CoStateArrow s a b c

mappend :: CoStateArrow s a b c -> CoStateArrow s a b c -> CoStateArrow s a b c

mconcat :: [CoStateArrow s a b c] -> CoStateArrow s a b c