Safe Haskell | None |
---|
- showA :: (Show c, ToConcrete a c) => a -> TCM String
- prettyA :: (Pretty c, ToConcrete a c) => a -> TCM Doc
- prettyAs :: (Pretty c, ToConcrete a [c]) => a -> TCM Doc
- showATop :: (Show c, ToConcrete a c) => a -> TCM String
- prettyATop :: (Pretty c, ToConcrete a c) => a -> TCM Doc
Documentation
showA :: (Show c, ToConcrete a c) => a -> TCM StringSource
prettyA :: (Pretty c, ToConcrete a c) => a -> TCM DocSource
prettyAs :: (Pretty c, ToConcrete a [c]) => a -> TCM DocSource
showATop :: (Show c, ToConcrete a c) => a -> TCM StringSource
Variant of showA
which does not insert outermost parentheses.
prettyATop :: (Pretty c, ToConcrete a c) => a -> TCM DocSource
Variant of prettyA
which does not insert outermost parentheses.