pire-0.2.5

Safe HaskellNone
LanguageHaskell2010

PrettyTerm

Contents

Documentation

prettyTerm :: (Applicative f, MonadReader PrettyInfo f, Eq a, IsString a) => Term t a -> [String] -> Int -> (t -> Int -> f (Doc Ann)) -> (a -> Int -> f (Doc Ann)) -> Flavor -> f (Doc Ann) Source #

Orphan instances

Pretty (Term String String) Source # 
Instance details

Methods

pretty :: Term String String -> Doc ann #

prettyList :: [Term String String] -> Doc ann #

Pretty (Term Text Text) Source # 
Instance details

Methods

pretty :: Term Text Text -> Doc ann #

prettyList :: [Term Text Text] -> Doc ann #

PrettyAnn (Term String String) Source # 
Instance details

PrettyAnn (Term Text Text) Source # 
Instance details