disco-0.1.5: Functional programming language for teaching discrete math.
Copyrightdisco team and contributors
LicenseBSD-3-Clause
Maintainerbyorgey@gmail.com
Safe HaskellNone
LanguageHaskell2010

Disco.Pretty.DSL

Description

Adapter DSL on top of Text.PrettyPrint for Applicative pretty-printing.

Documentation

vcat :: Applicative f => [f Doc] -> f Doc Source #

hcat :: Applicative f => [f Doc] -> f Doc Source #

hsep :: Applicative f => [f Doc] -> f Doc Source #

parens :: Functor f => f Doc -> f Doc Source #

brackets :: Functor f => f Doc -> f Doc Source #

braces :: Functor f => f Doc -> f Doc Source #

bag :: Applicative f => f Doc -> f Doc Source #

quotes :: Functor f => f Doc -> f Doc Source #

doubleQuotes :: Functor f => f Doc -> f Doc Source #

text :: Applicative m => String -> m Doc Source #

integer :: Applicative m => Integer -> m Doc Source #

nest :: Functor f => Int -> f Doc -> f Doc Source #

hang :: Applicative f => f Doc -> Int -> f Doc -> f Doc Source #

empty :: Applicative m => m Doc Source #

(<+>) :: Applicative f => f Doc -> f Doc -> f Doc Source #

(<>) :: Applicative f => f Doc -> f Doc -> f Doc Source #

($+$) :: Applicative f => f Doc -> f Doc -> f Doc Source #

punctuate :: Applicative f => f Doc -> [f Doc] -> f [f Doc] Source #

intercalate :: Monad f => f Doc -> [f Doc] -> f Doc Source #

bulletList :: Applicative f => f Doc -> [f Doc] -> f Doc Source #

renderDoc :: Sem (Reader PA ': r) Doc -> Sem r String Source #

renderDoc' :: Doc -> String Source #

Orphan instances

IsString (Sem r Doc) Source # 
Instance details

Methods

fromString :: String -> Sem r Doc #