uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Pretty.RenderUndertags

Documentation

data RenderUTEnv Source #

Constructors

RenderUTEnv 

Fields

renderUTEnvUnderFormatL :: (⟢) RenderUTEnv (𝑂 ((∧) ℂ Formats)) Source #

renderUTEnv₀ :: RenderUTEnv Source #

data RenderUTState Source #

Constructors

RenderUTState 

Fields

t2StateUndersL :: (⟢) RenderUTState (𝐼 ((∧) ((∧) ((∧) ℕ64 ℕ64) ℂ) Formats)) Source #

t2StateColL :: (⟢) RenderUTState ℕ64 Source #

t2State₀ :: RenderUTState Source #

type RenderUTM = RWS RenderUTEnv SummaryO RenderUTState Source #

newtype RenderUT Source #

Constructors

RenderUT 

Fields

Instances

Instances details
Append RenderUT Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderUndertags

Methods

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

Monoid RenderUT Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderUndertags

Null RenderUT Source # 
Instance details

Defined in UVMHS.Lib.Pretty.RenderUndertags

Methods

null :: RenderUT Source #

onRenderUT :: (RenderUTM () -> RenderUTM ()) -> RenderUT -> RenderUT Source #

onRenderUT2 :: (RenderUTM () -> RenderUTM () -> RenderUTM ()) -> RenderUT -> RenderUT -> RenderUT Source #

buildUndertags :: ℕ64 -> RenderUTM () Source #

renderNewline :: ℕ64 -> RenderUTM () Source #

renderRaw :: ℕ64 -> 𝕊 -> RenderUTM () Source #

renderPadding :: ℕ64 -> RenderUTM () Source #

renderUndertags :: RenderUTM () Source #

renderChunkUndertags :: ChunkI -> RenderUTM () Source #

annotateRenderUT :: Annotation -> RenderUTM () -> RenderUTM () Source #

compileRenderUT :: TreeI -> RenderUT Source #

execRenderUT :: TreeI -> SummaryO Source #