Safe Haskell	Safe-Inferred
Language	Haskell2010

Text.PrettyBy.Monad

Description

A monadic interface to configurable pretty-printing.

Synopsis

class HasPrettyConfig env config | env → config where
- prettyConfig ∷ Lens' env config
type MonadPretty config env m = (MonadReader env m, HasPrettyConfig env config)
prettyM ∷ (MonadPretty config env m, PrettyBy config a) ⇒ a → m (Doc ann)
displayM ∷ ∀ str a m env config. (MonadPretty config env m, PrettyBy config a, Render str) ⇒ a → m str

Documentation

class HasPrettyConfig env config | env → config where Source #

A constraint for "config is a part of env".

Methods

Instances details

HasPrettyConfig (Sole config) config Source #	It's not possible to have `HasPrettyConfig config config`, because that would mean that every environment is a pretty-printing config on its own, which doesn't make sense. We could have an OVERLAPPABLE instance, but I'd rather not.
Instance details Defined in Text.PrettyBy.Fixity Methods prettyConfig ∷ Lens' (Sole config) config Source #

A constraint for "m is a monad that allows to pretty-print values in it by a config".

prettyM ∷ (MonadPretty config env m, PrettyBy config a) ⇒ a → m (Doc ann) Source #

Pretty-print a value in a configurable way in a monad holding a config.

displayM ∷ ∀ str a m env config. (MonadPretty config env m, PrettyBy config a, Render str) ⇒ a → m str Source #

Pretty-print and render a value as a string type in a configurable way in a monad holding a config.