deriving-trans-0.9.1.0: Derive instances for monad transformer stacks
Safe HaskellSafe-Inferred
LanguageGHC2021

Control.Monad.Trans.Compose.Infix

Synopsis
  • type (.|>) t2 t1 = ComposeT t1 t2
  • (./>) :: (forall a. t2 m a -> m (StT t2 a)) -> (forall a. t1 (t2 m) a -> t2 m (StT t1 a)) -> forall a. (t2 .|> t1) m a -> m (StT t2 (StT t1 a))
  • (..>) :: (t2 m a -> m a) -> (t1 (t2 m) a -> t2 m a) -> (t2 .|> t1) m a -> m a

Documentation

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

A flipped type-level infix operator for ComposeT.

(./>) infixl 1 Source #

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 Source #

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'.