3 , ( Circle { shapeStyle = ShapeStyle
5 , styleStrokeColour = RGB 255 255 255
6 , styleFill = RGB 255 255 255
10 , Just [("interface", DoublePoint 0.0 0.25)]
13 , ( Composite { shapeSegments =
14 [ Circle { shapeStyle = ShapeStyle
15 { styleStrokeWidth = 2
16 , styleStrokeColour = RGB 250 0 0
17 , styleFill = RGB 255 255 255
21 , Lines { shapeStyle = ShapeStyle
22 { styleStrokeWidth = 2
23 , styleStrokeColour = RGB 250 0 0
24 , styleFill = RGB 128 128 128
26 , shapePerimeter = [ DoublePoint (-0.25) 0.25
27 , DoublePoint 0.0 (-0.35)
28 , DoublePoint 0.25 0.25 ] }
29 , Lines { shapeStyle = ShapeStyle
30 { styleStrokeWidth = 2
31 , styleStrokeColour = RGB 250 0 0
32 , styleFill = RGB 128 128 128
34 , shapePerimeter = [ DoublePoint (-0.20) 0.10
35 , DoublePoint 0.20 0.10 ] }
37 , Just [("down" , DoublePoint 0.0 0.5)
38 ,("left" , DoublePoint (-0.5) 0.0)
39 ,("right", DoublePoint 0.5 0.0)]
42 , ( Composite { shapeSegments =
43 [ Circle { shapeStyle = ShapeStyle
44 { styleStrokeWidth = 2
45 , styleStrokeColour = RGB 250 0 0
46 , styleFill = RGB 255 255 255
50 , Lines { shapeStyle = ShapeStyle
51 { styleStrokeWidth = 2
52 , styleStrokeColour = RGB 250 0 0
53 , styleFill = RGB 128 128 128
55 , shapePerimeter = [ DoublePoint (-0.25) (-0.25)
56 , DoublePoint 0.25 (-0.25)
57 , DoublePoint (-0.25) 0.25
58 , DoublePoint 0.25 0.25 ] }
59 , Lines { shapeStyle = ShapeStyle
60 { styleStrokeWidth = 2
61 , styleStrokeColour = RGB 250 0 0
62 , styleFill = RGB 128 128 128
64 , shapePerimeter = [ DoublePoint (-0.15) 0.0
65 , DoublePoint 0.15 0.0 ] }
67 , Just [("up" , DoublePoint 0.0 (-0.5))]
70 , ( Composite { shapeSegments =
71 [ Circle { shapeStyle = ShapeStyle
72 { styleStrokeWidth = 2
73 , styleStrokeColour = RGB 250 0 0
74 , styleFill = RGB 255 255 255
78 , Lines { shapeStyle = ShapeStyle
79 { styleStrokeWidth = 2
80 , styleStrokeColour = RGB 250 0 0
81 , styleFill = RGB 128 128 128
83 , shapePerimeter = [ DoublePoint 0.25 (-0.25)
84 , DoublePoint (-0.25) (-0.25)
85 , DoublePoint (-0.25) 0.0
86 , DoublePoint 0.25 0.0
87 , DoublePoint 0.25 0.25
88 , DoublePoint (-0.25) 0.25
91 , Just [ ("up" , DoublePoint 0.0 (-0.5) )
92 , ("down" , DoublePoint 0.0 0.5) ]