Language.Lambda.Util.PrettyPrint

Documentation

class PrettyPrint a where

Minimal complete definition

prettyPrint

Methods

prettyPrint :: a -> String

Instances

PrettyPrint String

Methods

prettyPrint :: String -> String

PrettyPrint s => PrettyPrint (PDoc s)

Methods

prettyPrint :: PDoc s -> String

PrettyPrint n => PrettyPrint (Ty n)

Methods

prettyPrint :: Ty n -> String

PrettyPrint a => PrettyPrint (LambdaExpr a)

Methods

prettyPrint :: LambdaExpr a -> String

(PrettyPrint n, PrettyPrint t) => PrettyPrint (SystemFExpr n t)

Methods

prettyPrint :: SystemFExpr n t -> String

newtype PDoc s

Constructors

PDoc [s]

Instances

Functor PDoc

Methods

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

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

Eq s => Eq (PDoc s)

Methods

(==) :: PDoc s -> PDoc s -> Bool

(/=) :: PDoc s -> PDoc s -> Bool

Show s => Show (PDoc s)

Methods

showsPrec :: Int -> PDoc s -> ShowS

show :: PDoc s -> String

showList :: [PDoc s] -> ShowS

Monoid (PDoc s)

Methods

mempty :: PDoc s

mappend :: PDoc s -> PDoc s -> PDoc s

mconcat :: [PDoc s] -> PDoc s

PrettyPrint s => PrettyPrint (PDoc s)

Methods

prettyPrint :: PDoc s -> String

empty :: PDoc s

add :: s -> PDoc s -> PDoc s

append :: [s] -> PDoc s -> PDoc s

between :: PDoc s -> s -> s -> PDoc s -> PDoc s

betweenParens :: PDoc String -> PDoc String -> PDoc String

intercalate :: [[s]] -> [s] -> PDoc [s] -> PDoc [s]

addSpace :: PDoc String -> PDoc String

space :: Char

lambda :: Char

upperLambda :: Char