Safe Haskell | None |
---|---|
Language | Haskell2010 |
Symantic for Show
.
Synopsis
- class Sym_Show term where
- tyShow :: Source src => Type src vs a -> Type src vs (Show a)
- tyShowS :: Source src => LenInj vs => Type src vs ShowS
- teShow_showsPrec :: TermDef Show '[Proxy a] (Show a #> (Int -> a -> ShowS))
- teShow_show :: TermDef Show '[Proxy a] (Show a #> (a -> String))
- teShow_showList :: TermDef Show '[Proxy a] (Show a #> ([a] -> ShowS))
Class Sym_Show
class Sym_Show term where Source #
showsPrec :: Show a => term Int -> term a -> term ShowS Source #
show :: Show a => term a -> term String Source #
showList :: Show a => term [a] -> term ShowS Source #
showsPrec :: Sym_Show (UnT term) => Trans term => Show a => term Int -> term a -> term ShowS Source #
show :: Sym_Show (UnT term) => Trans term => Show a => term a -> term String Source #
showList :: Sym_Show (UnT term) => Trans term => Show a => term [a] -> term ShowS Source #