Safe HaskellSafe

Stlc.Block

Synopsis

Documentation

data Block Source #

Instances

Eq Block Source # 

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Ord Block Source # 

Methods

compare :: Block -> Block -> Ordering

(<) :: Block -> Block -> Bool

(<=) :: Block -> Block -> Bool

(>) :: Block -> Block -> Bool

(>=) :: Block -> Block -> Bool

max :: Block -> Block -> Block

min :: Block -> Block -> Block

Show Block Source # 

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Monoid Block Source # 

textBlock :: String -> Block Source #

Inserts a text into a text block

deductionBlock :: Block -> String -> [Block] -> Block Source #

Draws a logical inference in a text block

box :: Block -> Block Source #

Draws a box around a text block