Safe Haskell	None
Language	Haskell2010

FP.Pretty

Documentation

newtype Color256 Source

Constructors

Color256
Fields color256Raw :: Int

Instances

ToString Color256
FromInteger Color256
ToInteger Color256

data Format Source

Constructors

Format
Fields foreground :: Maybe Color256 background :: Maybe Color256 underline :: Bool bold :: Bool

Instances

(Monoid (Maybe Color256), Monoid Bool) => Monoid Format
MonadWriter POut DocM
MonadWriterE POut DocM
MonadWriterI POut DocM

setFG :: Color256 -> Format Source

setBG :: Color256 -> Format Source

setUL :: Format Source

setBD :: Format Source

data Chunk Source

Constructors

Text String
Newline

Instances

MonadWriter POut DocM
MonadWriterE POut DocM
MonadWriterI POut DocM

type POut = FreeMonoidFunctor ((,) Format) Chunk Source

data Layout Source

Constructors

Flat
Break

Instances

Eq Layout
Ord Layout

data Failure Source

Constructors

CanFail
CantFail

Instances

Eq Failure
Ord Failure

data PEnv Source

Constructors

PEnv
Fields maxColumnWidth :: Int maxRibbonWidth :: Int layout :: Layout failure :: Failure nesting :: Int level :: Int bumped :: Bool

Instances

MonadReader PEnv DocM
MonadReaderE PEnv DocM
MonadReaderI PEnv DocM

bumpedL :: Lens PEnv Bool Source

levelL :: Lens PEnv Int Source

nestingL :: Lens PEnv Int Source

failureL :: Lens PEnv Failure Source

layoutL :: Lens PEnv Layout Source

maxRibbonWidthL :: Lens PEnv Int Source

maxColumnWidthL :: Lens PEnv Int Source

env0 :: PEnv Source

data PState Source

Constructors

PState
Fields column :: Int ribbon :: Int

Instances

MonadState PState DocM
MonadStateE PState DocM
MonadStateI PState DocM

ribbonL :: Lens PState Int Source

columnL :: Lens PState Int Source

state0 :: PState Source

type MonadPretty m = (MonadReader PEnv m, MonadWriter POut m, MonadState PState m, MonadMaybe m) Source

text :: MonadPretty m => String -> m () Source

space :: MonadPretty m => Int -> m () Source

ifFlat :: MonadPretty m => m a -> m a -> m a Source

whenFlat :: MonadPretty m => m () -> m () Source

whenBreak :: MonadPretty m => m () -> m () Source

mustBreak :: MonadPretty m => m () -> m () Source

hardLine :: MonadPretty m => m () Source

newline :: MonadPretty m => m () Source

flat :: MonadPretty m => m a -> m a Source

canFail :: MonadPretty m => m a -> m a Source

nest :: MonadPretty m => Int -> m a -> m a Source

group :: (MonadMaybeI m, MonadPretty m) => m a -> m a Source

align :: MonadPretty m => m a -> m a Source

format :: MonadPretty m => Format -> m a -> m a Source

hsep :: MonadPretty m => [m ()] -> m () Source

vsep :: MonadPretty m => [m ()] -> m () Source

hvsep :: MonadPretty m => [m ()] -> m () Source

hsepTight :: MonadPretty m => [m ()] -> m () Source

hvsepTight :: MonadPretty m => [m ()] -> m () Source

botLevel :: MonadPretty m => m () -> m () Source

closed :: MonadPretty m => m () -> m () -> m () -> m () Source

parens :: MonadPretty m => m () -> m () Source

atLevel :: MonadPretty m => Int -> m () -> m () Source

bump :: MonadPretty m => m a -> m a Source

inf :: MonadPretty m => Int -> m () -> m () -> m () -> m () Source

infl :: MonadPretty m => Int -> m () -> m () -> m () -> m () Source

infr :: MonadPretty m => Int -> m () -> m () -> m () -> m () Source

pre :: MonadPretty m => Int -> m () -> m () -> m () Source

post :: MonadPretty m => Int -> m () -> m () -> m () Source

app :: MonadPretty m => m () -> [m ()] -> m () Source

collection :: MonadPretty m => String -> String -> String -> [m ()] -> m () Source

keyPunFmt :: Format Source

keyPun :: MonadPretty m => String -> m () Source

keyFmt :: Format Source

key :: MonadPretty m => String -> m () Source

conFmt :: Format Source

con :: MonadPretty m => String -> m () Source

bdrFmt :: Format Source

bdr :: MonadPretty m => String -> m () Source

litFmt :: Format Source

lit :: MonadPretty m => String -> m () Source

punFmt :: Format Source

pun :: MonadPretty m => String -> m () Source

hlFmt :: Format Source

hl :: MonadPretty m => String -> m () Source

headingFmt :: Format Source

heading :: MonadPretty m => String -> m () Source

op :: MonadPretty m => String -> m () Source

newtype DocM a Source

Constructors

DocM
Fields unDocM :: RWST PEnv POut PState Maybe a

runDocM :: PEnv -> PState -> DocM a -> Maybe (a, POut, PState) Source

execDoc :: Doc -> POut Source

type Doc = DocM () Source

class Pretty a where Source

Methods

pretty :: a -> Doc Source

Instances

Pretty Bool
Pretty Char
Pretty Double
Pretty Int
Pretty Integer
Pretty ()
Pretty String
Pretty Doc
Pretty Lit
Pretty BdrNum
Pretty LocNum
Pretty GName
Pretty Name
Pretty Op
(Pretty TokenType, Pretty String) => Pretty Token
Pretty TokenType
Bifunctorial * Pretty (,)
Functorial * Pretty []
Functorial * Pretty ID
Functorial * Pretty Cτ
Pretty n => Functorial * Pretty (PreCall n)
Pretty n => Functorial * Pretty (PreExp n)
Functorial * Pretty (Zτ *)
Functorial * Pretty (Kτ k)
Pretty a => Pretty [a]
Pretty a => Pretty (Maybe a)
Functorial * Pretty f => Pretty (Fix f)
(Ord a, Pretty a) => Pretty (ListSet a)
Pretty a => Pretty (Set a)
Pretty a => Pretty (ID a)
(Pretty [t0], Pretty Int) => Pretty (ParserState t)
Pretty n => Pretty (PrePico n)
Pretty ψ => Pretty (Cτ ψ)
(Pretty a, Pretty b) => Pretty (a, b)
(Pretty a, Functorial * Pretty f) => Pretty (StampedFix a f)
(Pretty a, Pretty f) => Pretty (Stamped a f)
(Pretty k, Pretty v) => Pretty (Map k v)
(Pretty a, Pretty b) => Pretty ((:+:) a b)
(Functorial * Pretty m, Pretty a) => Pretty (ListT m a)
(Pretty n, Pretty e) => Pretty (VarLam n e)
(Pretty n, Pretty c) => Pretty (PreCall n c)
(Pretty n, Pretty c) => Pretty (PreAtom n c)
(Pretty n, Pretty e) => Pretty (PreExp n e)
Pretty (Zτ k a)
Pretty ψ => Pretty (Kτ k ψ)
(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c)
(Functorial * Pretty m, Pretty e, Pretty a) => Pretty (ErrorT e m a)
(Pretty [c0], Pretty [t0], Pretty ([t0], [a0])) => Pretty (ParseError c t a)
(Pretty (lτ ψ), Pretty (dτ ψ)) => Pretty (Addr lτ dτ ψ)
(Pretty (lτ ψ), Pretty (dτ ψ)) => Pretty (Clo lτ dτ ψ)
(Pretty (lτ ψ), Pretty (dτ ψ)) => Pretty (CVal lτ dτ ψ)
(Pretty (lτ ψ), Pretty (dτ ψ)) => Pretty (AVal lτ dτ ψ)
(Pretty (lτ0 ψ0), Pretty (dτ0 ψ0), Pretty (Env lτ0 dτ0 ψ0)) => Pretty (PI𝒮 lτ dτ ψ)
(Pretty a, Pretty b, Pretty c, Pretty d) => Pretty (a, b, c, d)
(Pretty (lτ0 ψ0), Pretty (dτ0 ψ0), Pretty (Env lτ0 dτ0 ψ0), Pretty (Store val0 lτ0 dτ0 ψ0)) => Pretty (𝒮 val lτ dτ ψ)
(Pretty a, Pretty b, Pretty c, Pretty d, Pretty e) => Pretty (a, b, c, d, e)
(Pretty a, Pretty (lτ ψ), Pretty (dτ ψ), Pretty (val lτ dτ ψ)) => Pretty (PSΣ𝒫 val lτ dτ ψ a)
(Ord a, Ord (lτ ψ), Ord (dτ ψ), Ord (val lτ dτ ψ), Pretty a, Pretty (lτ ψ), Pretty (dτ ψ), Pretty (val lτ dτ ψ)) => Pretty (PSΣ val lτ dτ ψ a)
(Pretty a, Pretty (lτ ψ), Pretty (dτ ψ), Pretty (val lτ dτ ψ)) => Pretty (FIΣ𝒫 val lτ dτ ψ a)
(Ord a, Ord (lτ ψ), Ord (dτ ψ), Pretty a, Pretty (lτ ψ), Pretty (dτ ψ), Pretty (val lτ dτ ψ)) => Pretty (FIΣ val lτ dτ ψ a)
(Pretty a, Pretty (lτ ψ), Pretty (dτ ψ), Pretty (val lτ dτ ψ)) => Pretty (FSΣ𝒫 val lτ dτ ψ a)
(Ord a, Ord (lτ ψ), Ord (dτ ψ), Ord (val lτ dτ ψ), Pretty a, Pretty (lτ ψ), Pretty (dτ ψ), Pretty (val lτ dτ ψ)) => Pretty (FSΣ val lτ dτ ψ a)
Pretty (val lτ dτ ψ) => Pretty (Power k k k val lτ dτ ψ)

formatChunk :: Chunk -> String Source

noFormatOut :: POut -> String Source

ptoString :: Pretty a => a -> String Source

MonadMaybe DocM
MonadMaybeE DocM
MonadMaybeI DocM
Monad DocM
Bind DocM
Applicative DocM
Product DocM
Functor DocM
Unit DocM
Monoid Doc
Pretty Doc
MonadState PState DocM
MonadStateE PState DocM
MonadStateI PState DocM
MonadWriter POut DocM
MonadWriterE POut DocM
MonadWriterI POut DocM
MonadReader PEnv DocM
MonadReaderE PEnv DocM
MonadReaderI PEnv DocM