Control.Monad.Trans.Compose.Infix

Documentation

type (.|>) t2 t1 = ComposeT t1 t2 infixl 1

A flipped type-level infix operator for ComposeT.

(./>) infixl 1

Arguments

:: (forall a. t2 m a -> m (StT t2 a))

run t2

-> (forall a. t1 (t2 m) a -> t2 m (StT t1 a))

run t1

-> forall a. (t2 .|> t1) m a -> m (StT t2 (StT t1 a))

A flipped infix operator for runComposeT.

(..>) infixl 1

Arguments

:: (t2 m a -> m a)

run t2

-> (t1 (t2 m) a -> t2 m a)

run t1

-> (t2 .|> t1) m a -> m a

A flipped infix operator for runComposeT'.