uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Pretty.Common

Documentation

data ChunkI Source #

Constructors

RawChunkI ℕ64 𝕊 
NewlineChunkI ℕ64 

Instances

Instances details
Show ChunkI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

showsPrec :: Int -> ChunkI -> ShowS #

show :: ChunkI -> String #

showList :: [ChunkI] -> ShowS #

Eq ChunkI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

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

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

Ord ChunkI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

compare :: ChunkI -> ChunkI -> Ordering #

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

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

(>) :: ChunkI -> ChunkI -> Bool #

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

max :: ChunkI -> ChunkI -> ChunkI #

min :: ChunkI -> ChunkI -> ChunkI #

Lift ChunkI Source # 
Instance details

Defined in UVMHS.Lib.THLiftInstances

Methods

lift :: Quote m => ChunkI -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => ChunkI -> Code m ChunkI #

rawChunksI :: 𝕊 -> ChunkI Source #

splitChunksI :: 𝕊 -> 𝐼 ChunkI Source #

shapeIChunk :: ChunkI -> Shape Source #

extendNewlinesIChunk :: ℕ64 -> ChunkI -> ChunkI Source #

data ChunkO Source #

Constructors

RawChunkO ℕ64 𝕊 
PaddingChunkO ℕ64 

Instances

Instances details
Show ChunkO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

showsPrec :: Int -> ChunkO -> ShowS #

show :: ChunkO -> String #

showList :: [ChunkO] -> ShowS #

Eq ChunkO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

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

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

Ord ChunkO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

compare :: ChunkO -> ChunkO -> Ordering #

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

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

(>) :: ChunkO -> ChunkO -> Bool #

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

max :: ChunkO -> ChunkO -> ChunkO #

min :: ChunkO -> ChunkO -> ChunkO #

ASized ChunkO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

asize :: ChunkO -> ℕ64 Source #

shapeOChunk :: ChunkO -> Shape Source #

type TreeI = 𝑇V Annotation (𝐼 ChunkI) Source #

type TreeO = 𝑇V Formats (Sep () (𝐼A ChunkO)) Source #

chunkIO :: ChunkO -> ChunkI Source #

treeIO :: TreeO -> TreeI Source #

data SummaryI Source #

Constructors

SummaryI 

Fields

Instances

Instances details
Append SummaryI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

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

Monoid SummaryI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Null SummaryI Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

null :: SummaryI Source #

summaryIContentsL :: (⟢) SummaryI TreeI Source #

summaryIShapeL :: (⟢) SummaryI ShapeA Source #

summaryIForceBreakL :: (⟢) SummaryI 𝔹 Source #

alignSummary :: SummaryI -> SummaryI Source #

summaryChunksI :: 𝐼 ChunkI -> SummaryI Source #

annotateSummaryI :: Annotation -> SummaryI -> SummaryI Source #

data SummaryO Source #

Constructors

SummaryO 

Fields

Instances

Instances details
Append SummaryO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

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

Monoid SummaryO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Null SummaryO Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Common

Methods

null :: SummaryO Source #

summaryOContentsL :: (⟢) SummaryO TreeO Source #

summaryOShapeL :: (⟢) SummaryO Shape Source #

summaryChunksO :: Sep () (𝐼A ChunkO) -> SummaryO Source #

annotateSummaryO :: Formats -> SummaryO -> SummaryO Source #

data HAlign Source #

Constructors

LH 
CH 
RH 

data VAlign Source #

Constructors

TV 
CV 
BV 

hvalign :: HAlign -> VAlign -> ℕ64 -> ℕ64 -> SummaryO -> SummaryO Source #