2016-01-05 04:18:42 +03:00
|
|
|
{-# LANGUAGE NoMonomorphismRestriction, FlexibleContexts, TypeFamilies #-}
|
|
|
|
module Main where
|
|
|
|
|
|
|
|
import Diagrams.Prelude
|
|
|
|
import Diagrams.Backend.SVG.CmdLine
|
|
|
|
|
|
|
|
import Lib
|
|
|
|
import Icons
|
|
|
|
|
|
|
|
ex1 = drawIconAndPorts apply0Icon
|
|
|
|
ex2 = drawIconsAndPortNumbers apply0Icon
|
|
|
|
|
2016-01-05 10:26:30 +03:00
|
|
|
applyDia = iconDia apply0Icon
|
|
|
|
--apply0A = "A" .>> applyDia
|
|
|
|
apply0A = applyDia # nameDiagram "A"
|
|
|
|
apply0B = applyDia # nameDiagram "B"
|
|
|
|
ex3 = atPoints (map p2 [(0,0), (3,0)]) [apply0A, apply0B]
|
|
|
|
fromAtoB = ex3 # connectPorts "A" (PortName 0) "B" (PortName 2)
|
|
|
|
ex4 = apply0A ||| textBox "hello world" === textBox "1" === textBox "gpq" === textBox ['A'..'Z']
|
2016-01-06 03:28:42 +03:00
|
|
|
ex5 = resultIcon # named "res"||| hrule 1 ||| fromAtoB ||| hrule 1 ||| textBox "foo" # named "foo" === vrule 1 === textBox "bar" # named "bar"
|
|
|
|
ex6 = ex5 # connectIconToPort "res" "A" (PortName 2) # connectIconToPort "foo" "B" (PortName 0)
|
2016-01-06 03:22:29 +03:00
|
|
|
# connectIconToPort "bar" "B" (PortName 3) # centerXY
|
|
|
|
ex7 = ex6 # center # showOrigin # showEnvelope
|
|
|
|
ex8 = enclosure ex6
|
|
|
|
ex9 = lambdaRegion 3 ex6 # nameDiagram "lam0"
|
|
|
|
ex10 = ex9 # connectPorts ("lam0" .> "A") (PortName 1) "lam0" (PortName 0)
|
|
|
|
# connectPorts ("lam0" .> "B") (PortName 1) "lam0" (PortName 2)
|
2016-01-06 03:37:14 +03:00
|
|
|
ex11 = connectIcons "lam0" "y" $ ex10 === vrule 2 === textBox "y" # named "y"
|
2016-01-05 10:26:30 +03:00
|
|
|
|
2016-01-05 04:18:42 +03:00
|
|
|
main :: IO ()
|
2016-01-06 03:37:14 +03:00
|
|
|
main = mainWith (ex11 # bgFrame 0.1 black)
|