pire-0.2.4

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)) -> f (Doc Ann) Source #

Orphan instances