Safe Haskell | Safe |
---|---|
Language | Haskell98 |
System.Console.Terminfo.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
- ring :: Bell -> TermDoc
- 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) => Terminal -> Float -> t -> m ()
- displayDoc'' :: (MonadIO m, PrettyTerm t) => Terminal -> Float -> Int -> t -> m ()
- class Pretty t => PrettyTerm t where
- type SimpleTermDoc = SimpleDoc Effect
- evalTermState :: Monad m => StateT TermState m a -> m a
- displayCap :: SimpleTermDoc -> StateT TermState Capability TermOutput
Raw Effect (requires the effect be present)
data ScopedEffect #
Constructors
Bold | |
Standout | |
Underline | |
Reverse | |
Blink | |
Dim | |
Invisible | |
Protected | |
Foreground Color | |
Background Color | |
Else ScopedEffect ScopedEffect | |
Nop |
Instances
with :: ScopedEffect -> TermDoc -> TermDoc #
Graceful degradation
soft :: ScopedEffect -> ScopedEffect #
Effects (built with soft)
Colors (built with soft)
foreground :: Color -> TermDoc -> TermDoc #
background :: Color -> TermDoc -> TermDoc #
Ringing bells
A Color Pretty Printer
display :: (MonadIO m, PrettyTerm t) => t -> m () #
displayLn :: MonadIO m => PrettyTerm t => t -> m () #
Progressively less magical formatting
displayDoc :: (MonadIO m, PrettyTerm t) => Float -> t -> m () #
displayDoc' :: (MonadIO m, PrettyTerm t) => Terminal -> Float -> t -> m () #
displayDoc'' :: (MonadIO m, PrettyTerm t) => Terminal -> Float -> Int -> t -> m () #
A Classy Interface
class Pretty t => PrettyTerm t where #
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 Natural # | |
PrettyTerm ByteString # | |
PrettyTerm ByteString # | |
PrettyTerm Text # | |
PrettyTerm Text # | |
PrettyTerm t => PrettyTerm [t] # | |
PrettyTerm a => PrettyTerm (Maybe a) # | |
PrettyTerm a => PrettyTerm (NonEmpty a) # | |
PrettyTerm a => PrettyTerm (Seq 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 #
evalTermState :: Monad m => StateT TermState m a -> m a #
displayCap :: SimpleTermDoc -> StateT TermState Capability TermOutput #