From 5efcc62b96b8abae53ecc86ae2769bcdb3d4b819 Mon Sep 17 00:00:00 2001 From: Robbie Gleichman Date: Thu, 22 Dec 2016 19:14:28 -0800 Subject: [PATCH] Delete enclosure, lambdaIcon, and lambdaRegion from Icons.hs. --- app/Icons.hs | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/app/Icons.hs b/app/Icons.hs index 9a7a1d8..e8a3198 100644 --- a/app/Icons.hs +++ b/app/Icons.hs @@ -9,8 +9,6 @@ module Icons iconToDiagram, textBox, multilineComment, - enclosure, - lambdaRegion, resultIcon, guardIcon, caseIcon, @@ -293,29 +291,6 @@ commentTextArea textColor t = alignL $ fontSize (local textBoxFontSize) (font "freemono" $ fc textColor $ topLeftText t) <> alignTL (lw none $ rectForText (length t)) --- ENCLOSING REGION -- -enclosure :: SpecialBackend b n => - SpecialQDiagram b n -> SpecialQDiagram b n -enclosure dia = dia <> lwG defaultLineWidth (lc (regionPerimC colorScheme) $ boundingRect (frame 0.5 dia)) - --- LAMBDA ICON -- --- Don't use === here to put the port under the text box since mempty will stay --- at the origin of the text box. -lambdaIcon :: - SpecialBackend b n => - Int -> SpecialQDiagram b n -lambdaIcon x = alignB (coloredTextBox (lamArgResC colorScheme) transparent "λ") <> makePort (Port x) - --- LAMBDA REGION -- - --- | lambdaRegion takes as an argument the numbers of parameters to the lambda, --- and draws the diagram inside a region with the lambda icons on top. -lambdaRegion :: SpecialBackend b n => - Int -> SpecialQDiagram b n -> SpecialQDiagram b n -lambdaRegion n dia = - centerXY $ centerX lambdaIcons === centerX (enclosure dia) - where lambdaIcons = hsep 0.4 (take n (map lambdaIcon [0,1..])) - -- RESULT ICON -- resultIcon :: SpecialBackend b n => SpecialQDiagram b n resultIcon = lw none $ fc (lamArgResC colorScheme) unitSquare