uvmhs-0.0.1.0
Safe HaskellNone
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

t2StateColL :: RenderUTState ⟢ ℕ64 Source #

t2StateUndersL :: RenderUTState ⟢ 𝐼 (((ℕ64 ∧ ℕ64) ∧ ℂ) ∧ Formats) 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 #