Safe Haskell	Safe-Inferred
Language	Haskell2010

UVMHS.Lib.Pretty.DocA

Documentation

Constructors

DocAEnv
Fields docAEnvMaxLineWidth :: 𝑂 ℕ64 docAEnvMaxRibbonWidth :: 𝑂 ℕ64 docAEnvNest :: ℕ64

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 #

Constructors

DocAState
Fields docAStateRib :: ℕ64 docAStateRow :: ℕ64 docAStateCol :: ℕ64

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 #

Constructors

StaticDocA SummaryI
DynamicDocA SummaryI (DocAM ())

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 #