jon.recoil.org

Module Flambda2_ui.Flambda_colours

type directive = Stdlib.Format.formatter -> unit

A colour directive. Can be passed as an argument to Format.printf and frients using the "%t" specifier. Each directive (besides pop) acts by pushing a new state onto a stack, allowing the previous state to be restored using pop.

Undo the most recent colour directive, restoring the previous state. Raises a fatal error if the stack is empty.

Push a copy of the current state onto the stack. Useful when setting a colour conditionally so that a following pop will always be matched.

val top_or_bottom_type : Flambda2_ui.Flambda_colours.directive
val continuation_definition : Flambda2_ui.Flambda_colours.directive
val continuation_annotation : Flambda2_ui.Flambda_colours.directive
val without_colours : f:(unit -> 'a) -> 'a