uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Pretty.DocA

Documentation

data DocAEnv Source #

Constructors

DocAEnv 

Fields

Instances

Instances details
Show DocAEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

showsPrec :: Int -> DocAEnv -> ShowS #

show :: DocAEnv -> String #

showList :: [DocAEnv] -> ShowS #

Eq DocAEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

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

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

Ord DocAEnv Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

compare :: DocAEnv -> DocAEnv -> Ordering #

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

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

(>) :: DocAEnv -> DocAEnv -> Bool #

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

max :: DocAEnv -> DocAEnv -> DocAEnv #

min :: DocAEnv -> DocAEnv -> DocAEnv #

docAEnvMaxLineWidthL :: DocAEnv ⟢ 𝑂 ℕ64 Source #

docAEnvMaxRibbonWidthL :: DocAEnv ⟢ 𝑂 ℕ64 Source #

docAEnvNestL :: DocAEnv ⟢ ℕ64 Source #

docAEnv₀ :: DocAEnv Source #

data DocAState Source #

Constructors

DocAState 

Fields

Instances

Instances details
Show DocAState Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

showsPrec :: Int -> DocAState -> ShowS #

show :: DocAState -> String #

showList :: [DocAState] -> ShowS #

Eq DocAState Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

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

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

Ord DocAState Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

compare :: DocAState -> DocAState -> Ordering #

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

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

(>) :: DocAState -> DocAState -> Bool #

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

max :: DocAState -> DocAState -> DocAState #

min :: DocAState -> DocAState -> DocAState #

docAStateRibL :: DocAState ⟢ ℕ64 Source #

docAStateRowL :: DocAState ⟢ ℕ64 Source #

docAStateColL :: DocAState ⟢ ℕ64 Source #

docAState₀ :: DocAState Source #

type DocAM = RWS DocAEnv TreeI DocAState Source #

data DocA Source #

Constructors

StaticDocA SummaryI 
DynamicDocA SummaryI (DocAM ()) 

Instances

Instances details
Append DocA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

(⧺) :: DocA -> DocA -> DocA Source #

Monoid DocA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Null DocA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.DocA

Methods

null :: DocA Source #

staticDocAL :: DocA ⌲ SummaryI Source #

dynamicDocAL :: DocA ⌲ (SummaryI ∧ DocAM ()) Source #

staticDocA :: DocA -> SummaryI Source #

dynamicDocA :: DocA -> DocAM () Source #

renderSummaryI :: SummaryI -> DocAM () Source #

stringDocA :: 𝕊 -> DocA Source #

docAModal :: DocA -> DocA -> DocA Source #

annotateDocA :: Annotation -> DocA -> DocA Source #

groupDocAM :: SummaryI -> DocAM () -> DocAM () Source #

groupDocA :: DocA -> DocA Source #

alignDocAM :: DocAM a -> DocAM a Source #

alignDocA :: DocA -> DocA Source #

execDocAWith :: (DocAM () -> DocAM ()) -> DocA -> TreeI Source #

execDocA :: DocA -> TreeI Source #