ShowF-0.1.1: Show for * -> *
Copyright(c) Conal Elliott
Maintainerconal@conal.net
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageHaskell98

Text.ShowF

Description

Showable functors

Documentation

class ShowF (f :: Type -> Type) where Source #

Minimal complete definition

Nothing

Methods

showF :: Show a => f a -> String Source #

showsPrecF :: Show a => Int -> f a -> ShowS Source #

newtype WrapShowF (f :: Type -> Type) a Source #

Constructors

WrapShowF (f a) 

Instances

Instances details
(ShowF f, Show a) => Show (WrapShowF f a) Source # 
Instance details

Defined in Text.ShowF

Methods

showsPrec :: Int -> WrapShowF f a -> ShowS #

show :: WrapShowF f a -> String #

showList :: [WrapShowF f a] -> ShowS #

showsF :: (ShowF f, Show a) => f a -> ShowS Source #

showsApp1 :: Show a => String -> Int -> a -> ShowS Source #

showsFApp1 :: (ShowF f, Show a) => String -> Int -> f a -> ShowS Source #

showsFComp1 :: (Functor g, ShowF g, ShowF f, Show a) => String -> Int -> g (f a) -> ShowS Source #