Patat.PrettyPrint.Internal

This is a small pretty-printing library.

Documentation

data Control

Control actions for the terminal.

Constructors

ClearScreenControl

GoToLineControl Int

Instances

Show Control

Defined in Patat.PrettyPrint.Internal

Methods

showsPrec :: Int -> Control -> ShowS

show :: Control -> String

showList :: [Control] -> ShowS

Eq Control

Defined in Patat.PrettyPrint.Internal

Methods

(==) :: Control -> Control -> Bool

(/=) :: Control -> Control -> Bool

data Chunk

A simple chunk of text. All ANSI codes are "reset" after printing.

Constructors

StringChunk [SGR] String

NewlineChunk

ControlChunk Control

Instances

Show Chunk

Defined in Patat.PrettyPrint.Internal

Methods

showsPrec :: Int -> Chunk -> ShowS

show :: Chunk -> String

showList :: [Chunk] -> ShowS

Eq Chunk

Defined in Patat.PrettyPrint.Internal

Methods

(==) :: Chunk -> Chunk -> Bool

(/=) :: Chunk -> Chunk -> Bool

type Chunks = [Chunk]

chunkToString :: Chunk -> String

chunkLines :: Chunks -> [Chunks]

data DocE d

Constructors

String String

Softspace

Hardspace

Softline

Hardline

WrapAt

Fields

• wrapAtCol :: Maybe Int
• wrapDoc :: d

Ansi

Fields

• ansiCode :: [SGR] -> [SGR]

  Modifies current codes.

• ansiDoc :: d

Indent

Fields

• indentFirstLine :: Indentation [Chunk]
• indentOtherLines :: Indentation [Chunk]
• indentDoc :: d

Control Control

Instances

Functor DocE

Defined in Patat.PrettyPrint.Internal

Methods

fmap :: (a -> b) -> DocE a -> DocE b

(<$) :: a -> DocE b -> DocE a

chunkToDocE :: Chunk -> DocE Doc

data Indentation a

Constructors

Indentation Int a

Instances

Foldable Indentation

Defined in Patat.PrettyPrint.Internal

Methods

fold :: Monoid m => Indentation m -> m

foldMap :: Monoid m => (a -> m) -> Indentation a -> m

foldMap' :: Monoid m => (a -> m) -> Indentation a -> m

foldr :: (a -> b -> b) -> b -> Indentation a -> b

foldr' :: (a -> b -> b) -> b -> Indentation a -> b

foldl :: (b -> a -> b) -> b -> Indentation a -> b

foldl' :: (b -> a -> b) -> b -> Indentation a -> b

foldr1 :: (a -> a -> a) -> Indentation a -> a

foldl1 :: (a -> a -> a) -> Indentation a -> a

toList :: Indentation a -> [a]

null :: Indentation a -> Bool

length :: Indentation a -> Int

elem :: Eq a => a -> Indentation a -> Bool

maximum :: Ord a => Indentation a -> a

minimum :: Ord a => Indentation a -> a

sum :: Num a => Indentation a -> a

product :: Num a => Indentation a -> a

Traversable Indentation

Defined in Patat.PrettyPrint.Internal

Methods

traverse :: Applicative f => (a -> f b) -> Indentation a -> f (Indentation b)

sequenceA :: Applicative f => Indentation (f a) -> f (Indentation a)

mapM :: Monad m => (a -> m b) -> Indentation a -> m (Indentation b)

sequence :: Monad m => Indentation (m a) -> m (Indentation a)

Functor Indentation

Defined in Patat.PrettyPrint.Internal

Methods

fmap :: (a -> b) -> Indentation a -> Indentation b

(<$) :: a -> Indentation b -> Indentation a

newtype Doc

Constructors

Doc

Fields

• unDoc :: [DocE Doc]

Instances

IsString Doc

Defined in Patat.PrettyPrint.Internal

Methods

fromString :: String -> Doc

Monoid Doc

Defined in Patat.PrettyPrint.Internal

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

Semigroup Doc

Defined in Patat.PrettyPrint.Internal

Methods

(<>) :: Doc -> Doc -> Doc

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

Show Doc

Defined in Patat.PrettyPrint.Internal

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

docToChunks :: Doc -> Chunks

toString :: Doc -> String

dimensions :: Doc -> (Int, Int)

Returns the rows and columns necessary to render this document

null :: Doc -> Bool

hPutDoc :: Handle -> Doc -> IO ()

putDoc :: Doc -> IO ()

mkDoc :: DocE Doc -> Doc

string :: String -> Doc