| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
System.Console.ANSI.PrettyPrint
Contents
- data ScopedEffect
- with :: ScopedEffect -> TermDoc -> TermDoc
- data Effect
- = Push ScopedEffect
- | Pop
- | Ring Bell
- soft :: ScopedEffect -> ScopedEffect
- blink :: TermDoc -> TermDoc
- bold :: TermDoc -> TermDoc
- underline :: TermDoc -> TermDoc
- standout :: TermDoc -> TermDoc
- reversed :: TermDoc -> TermDoc
- protected :: TermDoc -> TermDoc
- invisible :: TermDoc -> TermDoc
- dim :: TermDoc -> TermDoc
- red :: TermDoc -> TermDoc
- black :: TermDoc -> TermDoc
- green :: TermDoc -> TermDoc
- blue :: TermDoc -> TermDoc
- yellow :: TermDoc -> TermDoc
- magenta :: TermDoc -> TermDoc
- cyan :: TermDoc -> TermDoc
- white :: TermDoc -> TermDoc
- foreground :: Color -> TermDoc -> TermDoc
- background :: Color -> TermDoc -> TermDoc
- data Bell
- type TermDoc = Doc Effect
- display :: (MonadIO m, PrettyTerm t) => t -> m ()
- displayLn :: (MonadIO m, PrettyTerm t) => t -> m ()
- displayDoc :: (MonadIO m, PrettyTerm t) => Float -> t -> m ()
- displayDoc' :: (MonadIO m, PrettyTerm t) => Handle -> Float -> t -> m ()
- displayDoc'' :: (MonadIO m, PrettyTerm t) => Handle -> Float -> Int -> t -> m ()
- displaySimpleTermDoc :: MonadIO m => SimpleTermDoc -> m ()
- hDisplaySimpleTermDoc :: MonadIO m => Handle -> SimpleTermDoc -> m ()
- class Pretty t => PrettyTerm t where
- prettyTerm :: t -> TermDoc
- prettyTermList :: [t] -> TermDoc
- type SimpleTermDoc = SimpleDoc Effect
Raw Effect (requires the effect be present)
data ScopedEffect Source
Constructors
| Bold | |
| Standout | |
| Underline | |
| Reverse | |
| Blink | |
| Dim | |
| Invisible | |
| Protected | |
| Foreground Color | |
| Background Color | |
| Else ScopedEffect ScopedEffect | |
| Nop |
Instances
with :: ScopedEffect -> TermDoc -> TermDoc Source
Graceful degradation
soft :: ScopedEffect -> ScopedEffect Source
Effects (built with soft)
Colors (built with soft)
foreground :: Color -> TermDoc -> TermDoc Source
background :: Color -> TermDoc -> TermDoc Source
Ringing bells
A Color Pretty Printer
display :: (MonadIO m, PrettyTerm t) => t -> m () Source
displayLn :: (MonadIO m, PrettyTerm t) => t -> m () Source
Progressively less magical formatting
displayDoc :: (MonadIO m, PrettyTerm t) => Float -> t -> m () Source
displayDoc' :: (MonadIO m, PrettyTerm t) => Handle -> Float -> t -> m () Source
displayDoc'' :: (MonadIO m, PrettyTerm t) => Handle -> Float -> Int -> t -> m () Source
displaySimpleTermDoc :: MonadIO m => SimpleTermDoc -> m () Source
hDisplaySimpleTermDoc :: MonadIO m => Handle -> SimpleTermDoc -> m () Source
A Classy Interface
class Pretty t => PrettyTerm t where Source
Minimal complete definition
Nothing
Instances
| PrettyTerm Bool | |
| PrettyTerm Char | |
| PrettyTerm Double | |
| PrettyTerm Float | |
| PrettyTerm Int | |
| PrettyTerm Int8 | |
| PrettyTerm Int16 | |
| PrettyTerm Int32 | |
| PrettyTerm Int64 | |
| PrettyTerm Integer | |
| PrettyTerm Word | |
| PrettyTerm Word8 | |
| PrettyTerm Word16 | |
| PrettyTerm Word32 | |
| PrettyTerm Word64 | |
| PrettyTerm () | |
| PrettyTerm ByteString | |
| PrettyTerm ByteString | |
| PrettyTerm Natural | |
| PrettyTerm Text | |
| PrettyTerm Text | |
| PrettyTerm t => PrettyTerm [t] | |
| PrettyTerm a => PrettyTerm (Maybe a) | |
| PrettyTerm a => PrettyTerm (Seq a) | |
| PrettyTerm a => PrettyTerm (NonEmpty a) | |
| (~) * e Effect => PrettyTerm (Doc e) | |
| (PrettyTerm a, PrettyTerm b) => PrettyTerm (a, b) | |
| (PrettyTerm a, PrettyTerm b, PrettyTerm c) => PrettyTerm (a, b, c) |
Evaluation
type SimpleTermDoc = SimpleDoc Effect Source