liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.PrettyPrinting

Documentation

class Pretty a where Source #

Methods

pretty :: a -> String Source #

Instances

Instances details
Pretty KVar Source # 
Instance details

Defined in Gradual.PrettyPrinting

Methods

pretty :: KVar -> String Source #

Pretty Expr Source # 
Instance details

Defined in Gradual.PrettyPrinting

Methods

pretty :: Expr -> String Source #

Pretty Symbol Source # 
Instance details

Defined in Gradual.PrettyPrinting

Methods

pretty :: Symbol -> String Source #

Pretty a => Pretty [a] Source # 
Instance details

Defined in Gradual.PrettyPrinting

Methods

pretty :: [a] -> String Source #

(Pretty a, Pretty b) => Pretty (a, b) Source # 
Instance details

Defined in Gradual.PrettyPrinting

Methods

pretty :: (a, b) -> String Source #