uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Pretty.RenderANSI

Documentation

data ANSIEnv Source #

Constructors

ANSIEnv 

Instances

Instances details
Show ANSIEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderANSI

Eq ANSIEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderANSI

Methods

(==) :: ANSIEnv -> ANSIEnv -> Bool #

(/=) :: ANSIEnv -> ANSIEnv -> Bool #

Ord ANSIEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderANSI

ppRenderWith :: (RenderANSIM () -> RenderANSIM ()) -> (DocAM () -> DocAM ()) -> (DocM () -> DocM ()) -> Doc -> 𝕊 Source #

ppshow :: Pretty a => a -> 𝕊 Source #

pprint :: Pretty a => a -> IO () Source #

pptrace :: Pretty a => a -> () Source #

pptraceM :: (Monad m, Pretty a) => a -> m () Source #

ppabort :: Pretty a => a -> IO b Source #

Orphan instances

Eq Doc Source # 
Instance details

Methods

(==) :: Doc -> Doc -> Bool #

(/=) :: Doc -> Doc -> Bool #

Ord Doc Source # 
Instance details

Methods

compare :: Doc -> Doc -> Ordering #

(<) :: Doc -> Doc -> Bool #

(<=) :: Doc -> Doc -> Bool #

(>) :: Doc -> Doc -> Bool #

(>=) :: Doc -> Doc -> Bool #

max :: Doc -> Doc -> Doc #

min :: Doc -> Doc -> Doc #