ecta-1.0.0.3
Safe HaskellNone
LanguageHaskell2010

Data.Text.Extended.Pretty

Documentation

class Pretty a where Source #

Methods

pretty :: a -> Text Source #

Instances

Instances details
Show a => Pretty a Source # 
Instance details

Defined in Data.Text.Extended.Pretty

Methods

pretty :: a -> Text Source #

Pretty CacheMetrics Source # 
Instance details

Defined in Data.Memoization.Metrics

Pretty MemoCacheTag Source # 
Instance details

Defined in Data.Memoization

Pretty EqConstraints Source # 
Instance details

Defined in Data.ECTA.Internal.Paths

Pretty PathEClass Source # 
Instance details

Defined in Data.ECTA.Internal.Paths

Pretty Path Source # 
Instance details

Defined in Data.ECTA.Internal.Paths

Methods

pretty :: Path -> Text Source #

Pretty Term Source # 
Instance details

Defined in Data.ECTA.Internal.Term

Methods

pretty :: Term -> Text Source #

Pretty Symbol Source # 
Instance details

Defined in Data.ECTA.Internal.Term

Methods

pretty :: Symbol -> Text Source #

Pretty Lit Source # 
Instance details

Defined in Application.SAT

Methods

pretty :: Lit -> Text Source #