Control.Arrow.Transformer.Static

Arrow transformer adding static information.

Documentation

newtype StaticArrow f a b c

An arrow type that augments the underlying arrow with static information.

Constructors

StaticArrow (f (a b c))

Instances

(ArrowError ex a, Applicative f) => ArrowError ex (StaticArrow f a)

Methods

raise :: StaticArrow f a ex b

handle :: StaticArrow f a e b -> StaticArrow f a (e, ex) b -> StaticArrow f a e b

tryInUnless :: StaticArrow f a e b -> StaticArrow f a (e, b) c -> StaticArrow f a (e, ex) c -> StaticArrow f a e c

newError :: StaticArrow f a e b -> StaticArrow f a e (Either ex b)

(ArrowWriter w a, Applicative f) => ArrowWriter w (StaticArrow f a)

Methods

write :: StaticArrow f a w ()

newWriter :: StaticArrow f a e b -> StaticArrow f a e (b, w)

(ArrowState s a, Applicative f) => ArrowState s (StaticArrow f a)

Methods

fetch :: StaticArrow f a e s

store :: StaticArrow f a s ()

(ArrowReader r a, Applicative f) => ArrowReader r (StaticArrow f a)

Methods

readState :: StaticArrow f a b r

newReader :: StaticArrow f a e b -> StaticArrow f a (e, r) b

(ArrowAddError ex a a', Applicative f) => ArrowAddError ex (StaticArrow f a) (StaticArrow f a')

Methods

liftError :: StaticArrow f a' e b -> StaticArrow f a e b

elimError :: StaticArrow f a e b -> StaticArrow f a' (e, ex) b -> StaticArrow f a' e b

(ArrowAddWriter w a a', Applicative f) => ArrowAddWriter w (StaticArrow f a) (StaticArrow f a')

Methods

liftWriter :: StaticArrow f a' e b -> StaticArrow f a e b

elimWriter :: StaticArrow f a e b -> StaticArrow f a' e (b, w)

(ArrowAddReader r a a', Applicative f) => ArrowAddReader r (StaticArrow f a) (StaticArrow f a')

Methods

liftReader :: StaticArrow f a' e b -> StaticArrow f a e b

elimReader :: StaticArrow f a e b -> StaticArrow f a' (e, r) b

(ArrowAddState s a a', Applicative f) => ArrowAddState s (StaticArrow f a) (StaticArrow f a')

Methods

liftState :: StaticArrow f a' e b -> StaticArrow f a e b

elimState :: StaticArrow f a e b -> StaticArrow f a' (e, s) (b, s)

(Arrow a, Applicative f) => ArrowTransformer (StaticArrow f) a

Methods

lift :: a b c -> StaticArrow f a b c

(Category * a, Applicative f) => Category * (StaticArrow f a)

Methods

id :: cat a a

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

(Arrow a, Applicative f) => Arrow (StaticArrow f a)

Methods

arr :: (b -> c) -> StaticArrow f a b c

first :: StaticArrow f a b c -> StaticArrow f a (b, d) (c, d)

second :: StaticArrow f a b c -> StaticArrow f a (d, b) (d, c)

(***) :: StaticArrow f a b c -> StaticArrow f a b' c' -> StaticArrow f a (b, b') (c, c')

(&&&) :: StaticArrow f a b c -> StaticArrow f a b c' -> StaticArrow f a b (c, c')

(ArrowZero a, Applicative f) => ArrowZero (StaticArrow f a)

Methods

zeroArrow :: StaticArrow f a b c

(ArrowPlus a, Applicative f) => ArrowPlus (StaticArrow f a)

Methods

(<+>) :: StaticArrow f a b c -> StaticArrow f a b c -> StaticArrow f a b c

(ArrowChoice a, Applicative f) => ArrowChoice (StaticArrow f a)

Methods

left :: StaticArrow f a b c -> StaticArrow f a (Either b d) (Either c d)

right :: StaticArrow f a b c -> StaticArrow f a (Either d b) (Either d c)

(+++) :: StaticArrow f a b c -> StaticArrow f a b' c' -> StaticArrow f a (Either b b') (Either c c')

(|||) :: StaticArrow f a b d -> StaticArrow f a c d -> StaticArrow f a (Either b c) d

(ArrowLoop a, Applicative f) => ArrowLoop (StaticArrow f a)

Methods

loop :: StaticArrow f a (b, d) (c, d) -> StaticArrow f a b c

(ArrowCircuit a, Applicative f) => ArrowCircuit (StaticArrow f a)

Methods

delay :: b -> StaticArrow f a b b

(ArrowAddStream a a', Applicative f) => ArrowAddStream (StaticArrow f a) (StaticArrow f a')

Methods

liftStream :: StaticArrow f a' e b -> StaticArrow f a e b

elimStream :: StaticArrow f a (e, b) c -> StaticArrow f a' (e, Stream b) (Stream c)

(Arrow a, Applicative f) => Functor (StaticArrow f a b)

Methods

fmap :: (a -> b) -> StaticArrow f a b a -> StaticArrow f a b b

(<$) :: a -> StaticArrow f a b b -> StaticArrow f a b a

(Arrow a, Applicative f) => Applicative (StaticArrow f a b)

Methods

pure :: a -> StaticArrow f a b a

(<*>) :: StaticArrow f a b (a -> b) -> StaticArrow f a b a -> StaticArrow f a b b

liftA2 :: (a -> b -> c) -> StaticArrow f a b a -> StaticArrow f a b b -> StaticArrow f a b c

(*>) :: StaticArrow f a b a -> StaticArrow f a b b -> StaticArrow f a b b

(<*) :: StaticArrow f a b a -> StaticArrow f a b b -> StaticArrow f a b a

(ArrowPlus a, Applicative f) => Alternative (StaticArrow f a b)

Methods

empty :: StaticArrow f a b a

(<|>) :: StaticArrow f a b a -> StaticArrow f a b a -> StaticArrow f a b a

some :: StaticArrow f a b a -> StaticArrow f a b [a]

many :: StaticArrow f a b a -> StaticArrow f a b [a]

(ArrowPlus a, Applicative f) => Semigroup (StaticArrow f a b c)

Methods

(<>) :: StaticArrow f a b c -> StaticArrow f a b c -> StaticArrow f a b c

sconcat :: NonEmpty (StaticArrow f a b c) -> StaticArrow f a b c

stimes :: Integral b => b -> StaticArrow f a b c -> StaticArrow f a b c

(ArrowPlus a, Applicative f) => Monoid (StaticArrow f a b c)

Methods

mempty :: StaticArrow f a b c

mappend :: StaticArrow f a b c -> StaticArrow f a b c -> StaticArrow f a b c

mconcat :: [StaticArrow f a b c] -> StaticArrow f a b c

type StaticMonadArrow m = StaticArrow (WrappedMonad m)

A special case is monads applied to the whole arrow, in contrast to Kleisli arrows, in which the monad is applied to the output.

type StaticArrowArrow a s = StaticArrow (WrappedArrow a s)

A special case.

wrap :: (Applicative f, Arrow a) => f (a b c) -> StaticArrow f a b c

unwrap :: (Applicative f, Arrow a) => StaticArrow f a b c -> f (a b c)

wrapA :: (Arrow a, Arrow a') => a s (a' b c) -> StaticArrowArrow a s a' b c

unwrapA :: (Arrow a, Arrow a') => StaticArrowArrow a s a' b c -> a s (a' b c)

wrapM :: (Monad m, Arrow a) => m (a b c) -> StaticMonadArrow m a b c

unwrapM :: (Monad m, Arrow a) => StaticMonadArrow m a b c -> m (a b c)