TextShow.Control.Monad.Trans

TextShow instances for monad transformers.

Since: 2

Orphan instances

TextShow1 m => TextShow1 (MaybeT m)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> MaybeT m a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [MaybeT m a] -> Builder

(TextShow1 m, TextShow a) => TextShow (MaybeT m a)

Since: 2

Methods

showbPrec :: Int -> MaybeT m a -> Builder

showb :: MaybeT m a -> Builder

showbList :: [MaybeT m a] -> Builder

showtPrec :: Int -> MaybeT m a -> Text

showt :: MaybeT m a -> Text

showtList :: [MaybeT m a] -> Text

showtlPrec :: Int -> MaybeT m a -> Text

showtl :: MaybeT m a -> Text

showtlList :: [MaybeT m a] -> Text

(TextShow e, TextShow1 m) => TextShow1 (ExceptT e m)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> ExceptT e m a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [ExceptT e m a] -> Builder

TextShow1 f => TextShow1 (IdentityT f)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> IdentityT f a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [IdentityT f a] -> Builder

(TextShow w, TextShow1 m) => TextShow1 (WriterT w m)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> WriterT w m a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [WriterT w m a] -> Builder

(TextShow w, TextShow1 m) => TextShow1 (WriterT w m)

Since: 2

Methods

liftShowbPrec :: (Int -> a -> Builder) -> ([a] -> Builder) -> Int -> WriterT w m a -> Builder

liftShowbList :: (Int -> a -> Builder) -> ([a] -> Builder) -> [WriterT w m a] -> Builder

(TextShow e, TextShow1 m, TextShow a) => TextShow (ExceptT e m a)

Since: 2

Methods

showbPrec :: Int -> ExceptT e m a -> Builder

showb :: ExceptT e m a -> Builder

showbList :: [ExceptT e m a] -> Builder

showtPrec :: Int -> ExceptT e m a -> Text

showt :: ExceptT e m a -> Text

showtList :: [ExceptT e m a] -> Text

showtlPrec :: Int -> ExceptT e m a -> Text

showtl :: ExceptT e m a -> Text

showtlList :: [ExceptT e m a] -> Text

(TextShow1 f, TextShow a) => TextShow (IdentityT f a)

Since: 2

Methods

showbPrec :: Int -> IdentityT f a -> Builder

showb :: IdentityT f a -> Builder

showbList :: [IdentityT f a] -> Builder

showtPrec :: Int -> IdentityT f a -> Text

showt :: IdentityT f a -> Text

showtList :: [IdentityT f a] -> Text

showtlPrec :: Int -> IdentityT f a -> Text

showtl :: IdentityT f a -> Text

showtlList :: [IdentityT f a] -> Text

(TextShow w, TextShow1 m, TextShow a) => TextShow (WriterT w m a)

Since: 2

Methods

showbPrec :: Int -> WriterT w m a -> Builder

showb :: WriterT w m a -> Builder

showbList :: [WriterT w m a] -> Builder

showtPrec :: Int -> WriterT w m a -> Text

showt :: WriterT w m a -> Text

showtList :: [WriterT w m a] -> Text

showtlPrec :: Int -> WriterT w m a -> Text

showtl :: WriterT w m a -> Text

showtlList :: [WriterT w m a] -> Text

(TextShow w, TextShow1 m, TextShow a) => TextShow (WriterT w m a)

Since: 2

Methods

showbPrec :: Int -> WriterT w m a -> Builder

showb :: WriterT w m a -> Builder

showbList :: [WriterT w m a] -> Builder

showtPrec :: Int -> WriterT w m a -> Text

showt :: WriterT w m a -> Text

showtList :: [WriterT w m a] -> Text

showtlPrec :: Int -> WriterT w m a -> Text

showtl :: WriterT w m a -> Text

showtlList :: [WriterT w m a] -> Text