uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Pretty.Shape

Documentation

data ShapeM Source #

Constructors

ShapeM 

Fields

Instances

Instances details
Show ShapeM Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

showsPrec :: Int -> ShapeM -> ShowS #

show :: ShapeM -> String #

showList :: [ShapeM] -> ShowS #

Eq ShapeM Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

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

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

Ord ShapeM Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

compare :: ShapeM -> ShapeM -> Ordering #

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

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

(>) :: ShapeM -> ShapeM -> Bool #

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

max :: ShapeM -> ShapeM -> ShapeM #

min :: ShapeM -> ShapeM -> ShapeM #

shapeMNewlinesL :: (⟢) ShapeM ℕ64 Source #

shapeMLastLengthL :: (⟢) ShapeM ℕ64 Source #

shapeMMidMaxLengthL :: (⟢) ShapeM ℕ64 Source #

shapeMFirstLengthL :: (⟢) ShapeM ℕ64 Source #

data Shape Source #

Constructors

SingleLine ℕ64 
MultiLine ShapeM 

Instances

Instances details
Show Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

showsPrec :: Int -> Shape -> ShowS #

show :: Shape -> String #

showList :: [Shape] -> ShowS #

Eq Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

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

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

Ord Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

compare :: Shape -> Shape -> Ordering #

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

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

(>) :: Shape -> Shape -> Bool #

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

max :: Shape -> Shape -> Shape #

min :: Shape -> Shape -> Shape #

Bot Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

bot :: Shape Source #

Join Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

(⊔) :: Shape -> Shape -> Shape Source #

Append Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

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

Monoid Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Null Shape Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

null :: Shape Source #

multiLineL :: (⌲) Shape ShapeM Source #

singleLineL :: (⌲) Shape ℕ64 Source #

shapeFirstLength :: Shape -> ℕ64 Source #

shapeLastLength :: Shape -> ℕ64 Source #

newlineShapeM :: ShapeM Source #

newlineShape :: Shape Source #

boxShape :: ℕ64 -> ℕ64 -> Shape Source #

shapeWidth :: Shape -> ℕ64 Source #

shapeNewlines :: Shape -> ℕ64 Source #

data ShapeA Source #

Constructors

ShapeA 

Fields

Instances

Instances details
Show ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

showsPrec :: Int -> ShapeA -> ShowS #

show :: ShapeA -> String #

showList :: [ShapeA] -> ShowS #

Eq ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

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

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

Ord ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

compare :: ShapeA -> ShapeA -> Ordering #

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

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

(>) :: ShapeA -> ShapeA -> Bool #

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

max :: ShapeA -> ShapeA -> ShapeA #

min :: ShapeA -> ShapeA -> ShapeA #

Append ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

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

Monoid ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Null ShapeA Source # 
Instance details

Defined in UVMHS.Lib.Pretty.Shape

Methods

null :: ShapeA Source #

shapeIShapeL :: (⟢) ShapeA Shape Source #

shapeIAlignedL :: (⟢) ShapeA 𝔹 Source #

alignShapeA :: ShapeA -> ShapeA Source #