darcs - INblobs

1 <Document

2 ><Network Width="15.0" Height="9.0"

3 ><Info

4 ><unit/></Info

5 ><Nodes

6 /><Edges/></Network

7 ><Palette

8 ><Symbol

9 ><ShapeName

10 ><![CDATA[interface]]></ShapeName

11 ><Shape

12 ><Circle

13 ><ShapeStyle

14 ><int value="2"

15 /><RGB R="255" G="255" B="255"

16 /><RGB R="255" G="255" B="255"/></ShapeStyle

17 ><double value="0.25"/></Circle></Shape

18 ><Ports

19 ><Principals

20 ><Port

21 ><string

22 ><![CDATA[interface]]></string

23 ><Position X="0.0" Y="0.25"/></Port></Principals

24 ><Auxiliaries/></Ports

25 ><Info

26 ><maybe-list-int

27 ><list-int/></maybe-list-int></Info></Symbol

28 ><Symbol

29 ><ShapeName

30 ><![CDATA[lambda]]></ShapeName

31 ><Shape

32 ><Composite

33 ><list-Shape

34 ><Circle

35 ><ShapeStyle

36 ><int value="1"

37 /><RGB R="0" G="0" B="0"

38 /><RGB R="255" G="215" B="0"/></ShapeStyle

39 ><double value="0.5"/></Circle

40 ><Lines

41 ><ShapeStyle

42 ><int value="2"

43 /><RGB R="0" G="0" B="0"

44 /><RGB R="255" G="255" B="255"/></ShapeStyle

45 ><list-DoublePoint

46 ><Position X="-0.25" Y="-0.25"

47 /><Position X="0.25" Y="0.25"/></list-DoublePoint></Lines

48 ><Lines

49 ><ShapeStyle

50 ><int value="2"

51 /><RGB R="0" G="0" B="0"

52 /><RGB R="255" G="255" B="255"/></ShapeStyle

53 ><list-DoublePoint

54 ><Position X="0.0" Y="0.0"

55 /><Position X="-0.25"

56 Y="0.25"/></list-DoublePoint></Lines></list-Shape></Composite></Shape

57 ><Ports

58 ><Principals

59 ><Port

60 ><string

61 ><![CDATA[res]]></string

62 ><Position X="0.0" Y="-0.35"/></Port></Principals

63 ><Auxiliaries

64 ><Port

65 ><string

66 ><![CDATA[body]]></string

67 ><Position X="0.3" Y="0.3"/></Port

68 ><Port

69 ><string

70 ><![CDATA[var]]></string

71 ><Position X="-0.3" Y="0.3"/></Port></Auxiliaries></Ports

72 ><Info

73 ><maybe-list-int/></Info></Symbol

74 ><Symbol

75 ><ShapeName

76 ><![CDATA[application]]></ShapeName

77 ><Shape

78 ><TextInEllipse

79 ><ShapeStyle

80 ><int value="1"

81 /><RGB R="0" G="0" B="0"

82 /><RGB R="255" G="215" B="0"/></ShapeStyle

83 ><string

84 ><![CDATA[@]]></string></TextInEllipse></Shape

85 ><Ports

86 ><Principals

87 ><Port

88 ><string

89 ><![CDATA[func]]></string

90 ><Position X="-0.3" Y="0.3"/></Port></Principals

91 ><Auxiliaries

92 ><Port

93 ><string

94 ><![CDATA[res]]></string

95 ><Position X="0.0" Y="-0.35"/></Port

96 ><Port

97 ><string

98 ><![CDATA[arg]]></string

99 ><Position X="0.3" Y="0.3"/></Port></Auxiliaries></Ports

100 ><Info

101 ><maybe-list-int/></Info></Symbol></Palette

102 ><Rules

103 ><INRule

104 ><Name

105 ><![CDATA[application_lambda]]></Name

106 ><LHS

107 ><Network Width="15.0" Height="9.0"

108 ><Info

109 ><unit/></Info

110 ><Nodes

111 ><Node id="N1"

112 ><Position X="3.2591666666666668" Y="1.9470833333333335"

113 /><Name

114 ><![CDATA[Node 1]]></Name

115 ><LabelAbove

116 >True</LabelAbove

117 ><Shape

118 ><![CDATA[application]]></Shape

119 ><Info

120 ><list-int/></Info></Node

121 ><Node id="N2"

122 ><Position X="2.0" Y="4.0"

123 /><Name

124 ><![CDATA[Node 2]]></Name

125 ><LabelAbove

126 >True</LabelAbove

127 ><Shape

128 ><![CDATA[lambda]]></Shape

129 ><Info

130 ><list-int/></Info></Node

131 ><Node id="N3"

132 ><Position X="3.278125" Y="0.579375"

133 /><Name

134 ><![CDATA[Node 3]]></Name

135 ><LabelAbove

136 >True</LabelAbove

137 ><Shape

138 ><![CDATA[interface]]></Shape

139 ><Info

140 ><list-int/></Info></Node

141 ><Node id="N4"

142 ><Position X="3.558333333333333" Y="5.420624999999999"

143 /><Name

144 ><![CDATA[Node 4]]></Name

145 ><LabelAbove

146 >True</LabelAbove

147 ><Shape

148 ><![CDATA[interface]]></Shape

149 ><Info

150 ><list-int/></Info></Node

151 ><Node id="N5"

152 ><Position X="2.537291666666667" Y="5.394166666666667"

153 /><Name

154 ><![CDATA[Node 5]]></Name

155 ><LabelAbove

156 >True</LabelAbove

157 ><Shape

158 ><![CDATA[interface]]></Shape

159 ><Info

160 ><list-int/></Info></Node

161 ><Node id="N6"

162 ><Position X="1.3677083333333333" Y="5.394166666666667"

163 /><Name

164 ><![CDATA[Node 6]]></Name

165 ><LabelAbove

166 >True</LabelAbove

167 ><Shape

168 ><![CDATA[interface]]></Shape

169 ><Info

170 ><list-int/></Info></Node></Nodes

171 ><Edges

172 ><Edge id="E1"

173 ><From

174 >1</From

175 ><PortFrom

176 ><![CDATA[func]]></PortFrom

177 ><To

178 >2</To

179 ><PortTo

180 ><![CDATA[res]]></PortTo

181 ><Via

182 /><Info

183 ><list-int/></Info></Edge

184 ><Edge id="E2"

185 ><From

186 >1</From

187 ><PortFrom

188 ><![CDATA[arg]]></PortFrom

189 ><To

190 >4</To

191 ><PortTo

192 ><![CDATA[interface]]></PortTo

193 ><Via

194 /><Info

195 ><list-int/></Info></Edge

196 ><Edge id="E3"

197 ><From

198 >1</From

199 ><PortFrom

200 ><![CDATA[res]]></PortFrom

201 ><To

202 >3</To

203 ><PortTo

204 ><![CDATA[interface]]></PortTo

205 ><Via

206 /><Info

207 ><list-int/></Info></Edge

208 ><Edge id="E4"

209 ><From

210 >2</From

211 ><PortFrom

212 ><![CDATA[var]]></PortFrom

213 ><To

214 >6</To

215 ><PortTo

216 ><![CDATA[interface]]></PortTo

217 ><Via

218 /><Info

219 ><list-int/></Info></Edge

220 ><Edge id="E5"

221 ><From

222 >2</From

223 ><PortFrom

224 ><![CDATA[body]]></PortFrom

225 ><To

226 >5</To

227 ><PortTo

228 ><![CDATA[interface]]></PortTo

229 ><Via

230 /><Info

231 ><list-int/></Info></Edge></Edges></Network></LHS

232 ><RHS

233 ><Network Width="15.0" Height="9.0"

234 ><Info

235 ><unit/></Info

236 ><Nodes

237 ><Node id="N3"

238 ><Position X="3.278125" Y="0.579375"

239 /><Name

240 ><![CDATA[Node 3]]></Name

241 ><LabelAbove

242 >True</LabelAbove

243 ><Shape

244 ><![CDATA[interface]]></Shape

245 ><Info

246 ><list-int/></Info></Node

247 ><Node id="N4"

248 ><Position X="3.558333333333333" Y="5.420624999999999"

249 /><Name

250 ><![CDATA[Node 4]]></Name

251 ><LabelAbove

252 >True</LabelAbove

253 ><Shape

254 ><![CDATA[interface]]></Shape

255 ><Info

256 ><list-int/></Info></Node

257 ><Node id="N5"

258 ><Position X="2.537291666666667" Y="5.394166666666667"

259 /><Name

260 ><![CDATA[Node 5]]></Name

261 ><LabelAbove

262 >True</LabelAbove

263 ><Shape

264 ><![CDATA[interface]]></Shape

265 ><Info

266 ><list-int/></Info></Node

267 ><Node id="N6"

268 ><Position X="1.3677083333333333" Y="5.394166666666667"

269 /><Name

270 ><![CDATA[Node 6]]></Name

271 ><LabelAbove

272 >True</LabelAbove

273 ><Shape

274 ><![CDATA[interface]]></Shape

275 ><Info

276 ><list-int/></Info></Node></Nodes

277 ><Edges

278 ><Edge id="E3"

279 ><From

280 >6</From

281 ><PortFrom

282 ><![CDATA[interface]]></PortFrom

283 ><To

284 >4</To

285 ><PortTo

286 ><![CDATA[interface]]></PortTo

287 ><Via

288 ><Position X="1.3758333333333332" Y="4.048125"

289 /><Position X="3.5454166666666667" Y="4.048125000000001"/></Via

290 ><Info

291 ><list-int/></Info></Edge

292 ><Edge id="E4"

293 ><From

294 >3</From

295 ><PortFrom

296 ><![CDATA[interface]]></PortFrom

297 ><To

298 >5</To

299 ><PortTo

300 ><![CDATA[interface]]></PortTo

301 ><Via

302 /><Info

303 ><list-int/></Info></Edge></Edges></Network></RHS

304 ><Mapping

305 ><MappingElement lhs="3" rhs="3"

306 /><MappingElement lhs="4" rhs="4"

307 /><MappingElement lhs="5" rhs="5"

308 /><MappingElement lhs="6"

309 rhs="6"/></Mapping></INRule></Rules></Document>