Stlc.Block
Synopsis
data Block Source #
Instances
Methods
(==) :: Block -> Block -> Bool
(/=) :: Block -> Block -> Bool
compare :: Block -> Block -> Ordering
(<) :: Block -> Block -> Bool
(<=) :: Block -> Block -> Bool
(>) :: Block -> Block -> Bool
(>=) :: Block -> Block -> Bool
max :: Block -> Block -> Block
min :: Block -> Block -> Block
showsPrec :: Int -> Block -> ShowS
show :: Block -> String
showList :: [Block] -> ShowS
mempty :: Block
mappend :: Block -> Block -> Block
mconcat :: [Block] -> Block
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