Text.Show.Pretty

Reexports

Definitions

printDouble : Nat -> Double -> String

  Prints a floating point number with at most the given number
  of digits after the dot.

Totality: total
Visibility: export

dfltOpts : LayoutOpts

Totality: total
Visibility: public export

valToDoc : Value -> Doc opts

  Pretty print a generic value. Our intention is that the result is
  equivalent to the 'Show' instance for the original value, except possibly
  easier to understand by a human.

Totality: total
Visibility: export

valToStr : Value -> String

  Pretty print a generic value. Our intention is that the result is
  equivalent to the 'Show' instance for the original value, except possibly
  easier to understand by a human.

Totality: total
Visibility: export

reify : Show a => a -> Maybe Value

Totality: total
Visibility: export

ppDoc : Show a => a -> Doc opts

  Try to show a value, prettily. If we do not understand the value, then we
  just use its standard 'Show' instance.

Totality: total
Visibility: export

ppShow : Show a => a -> String

  Convert a generic value into a pretty 'String', if possible.

Totality: total
Visibility: export

ppDocList : (Foldable f, Show a) => f a -> Doc opts

  Pretty print something that may be converted to a list as a list.
  Each entry is on a separate line, which means that we don't do clever
  pretty printing, and so this works well for large strucutures.

Totality: total
Visibility: export

ppShowList : (Foldable f, Show a) => f a -> String

  Pretty print something that may be converted to a list as a list.
  Each entry is on a separate line, which means that we don't do clever
  pretty printing, and so this works well for large strucutures.

Totality: total
Visibility: export

pPrint : Show a => a -> IO ()

  Pretty print a generic value to stdout.

Totality: total
Visibility: export

pPrintList : (Foldable f, Show a) => f a -> IO ()

  Pretty print something that may be converted to a list as a list.
  Each entry is on a separate line, which means that we don't do clever
  pretty printing, and so this works well for large strucutures.

Totality: total
Visibility: export

dumpDoc : PrettyVal a => a -> Doc opts

  Render a value in the `PrettyVal` interface to a `Doc`.
  The benefit of this function is that `PrettyVal` instances may
  be derived automatically using generics.

Totality: total
Visibility: export

dumpStr : PrettyVal a => a -> String

  Render a value in the `PrettyVal` interface to a `String`.
  The benefit of this function is that `PrettyVal` instances may
  be derived automatically using generics.

Totality: total
Visibility: export

dumpIO : PrettyVal a => a -> IO ()

  Render a value using the `PrettyVal` interface
  and show it to standard out.

Totality: total
Visibility: export

record PreProc : Type -> Type

  This type is used to allow pre-processing of values before showing them.

Totality: total
Visibility: public export
Constructor: 

MkPreProc : (Value -> Value) -> a -> PreProc a

Projections:

.preProc : PreProc a -> Value -> Value

.val : PreProc a -> a

Hint: 

PrettyVal a => PrettyVal (PreProc a)

.preProc : PreProc a -> Value -> Value

Totality: total
Visibility: public export

preProc : PreProc a -> Value -> Value

Totality: total
Visibility: public export

.val : PreProc a -> a

Totality: total
Visibility: public export

val : PreProc a -> a

Totality: total
Visibility: public export

ppHide : (VName -> Bool) -> a -> PreProc a

  Hide the given constructors when showing a value.

Totality: total
Visibility: export

ppHideNested : (VName -> Bool) -> a -> PreProc a

  Hide the given constructors when showing a value.
  In addition, hide values if all of their children were hidden.

Totality: total
Visibility: export