Moduleprettyprinter-configurable-1.36.0.0Haskell2010

Text.PrettyBy.Monad

A monadic interface to configurable pretty-printing.

Synopsis

classclass HasPrettyConfig env config | env -> config where

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

Instances1HasPrettyConfig

HasPrettyConfig (Sole config) configDefined in prettyprinter-configurable-1.36.0.0 · Text.PrettyBy.Fixity
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.

typetype MonadPretty config env (m :: Type -> Type) = (MonadReader env m, HasPrettyConfig env config)

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

valueprettyM :: (MonadPretty config env m, PrettyBy config a) => a -> m (Doc ann)

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

valuedisplayM

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