pristine:0000000560-aa91ffa3467d50eb32ab78cd519a4ac2853b1d42cc0666a6886a584a2b993432 [Initial import of version 5.4.2.2 of Martin Erwig's FGL library Ivan.Miljenovic@gmail.com**20100509091814 Ignore-this: 53b2dc816eae80321dedcf41642fbc8b This library is now going to be maintained by Thomas Bereknyei, Ivan Miljenovic and Louis Wasserman. ] hash: 0000153317-21ba73f82a58d91a4125322e8d78529339393e4536e94d8c9718fce8a9ce84e4 [Fresh Start tomberek@gmail.com**20100528051511 Ignore-this: 6740aca2377012d949ae7c5a65f633db ] hash: 0000142350-92945ec170e5d4fad01bc8bc006d4e49f9e91df469dc26e9bde481475da8b3e6 [FreshStart tomberek@gmail.com**20100528053746 Ignore-this: e39842c99bd237c9b04f14ae58601583 ] hash: 0000004957-fa8e69b87ab8c81802d07df190f0b1ba4fba7fdcfb5e1c6aa7b898998cc11db1 [Cleaned up tomberek@gmail.com**20100528054945 Ignore-this: 3c3ac1e1f6a1940f989f465129ff88c0 ] hash: 0000020360-5ab675e6cd32be93b7b3417929e1d1bcab5ad374975c7e9fc1e3c59981ed1129 [Clean tomberek@gmail.com**20100528060200 Ignore-this: 72f78bf7f74039c6c3a3dd503b0fc49e ] hash: 0000133013-08b1a4a3b94b9b9393e0063640942d4e0f45f6065b1e95a3d967cf9c98d50cee [Clean tomberek@gmail.com**20100528060758 Ignore-this: cdb3e80a6942407db8dfdece243d4571 ] hash: 0000009428-34854e6b0b9d3eb2d3c23949e0fe7b1f251bf7c61fb95fac1a573ae8eae298cd [Clean tomberek@gmail.com**20100528092256 Ignore-this: 4519c4a8465f82e6e8da3e5f7ac99428 ] hash: 0000001195-71c107a2eeaef90bf5948cbf799cce96fdc0ebc2aac266fc728b36b62f5c87f1 [For some reason a patch comment was recorded Ivan.Miljenovic@gmail.com**20100529072839 Ignore-this: 28dc1fda0d6bab135d90f0cf48fbe139 ] hash: 0000000549-3bec1e76199c92140aabc6816192cadc1200f6c20de8add8e0ad45df6953b368 [Quite a lot of related changes Ivan.Miljenovic@gmail.com**20100607120341 Ignore-this: e8c2157f61f546e92a318bbbcd38baa4 Includes: New names for Edge & Context record fields, proper instances (and thus no hacky work-arounds) for them, updated helper functions for making Eq, etc. instances for graphs. ] hash: 0000026813-d7e5d1a63393f0dadc22dc08d95aed442a5c46cbee295d7fe58489b210ac9da2 [Forgot to add and record InstanceHelpers Ivan.Miljenovic@gmail.com**20100609234201 Ignore-this: 43551cd5975f302fd9b41404ffbc496b ] hash: 0000000398-6ed7c3d1f66e682ab38585b87f74108b9f7d8173f1a0b7d4ffd0d252d7a68703 [Move the mapping functions into their own class Ivan.Miljenovic@gmail.com**20100613123705 Ignore-this: ff063314edf5b47d364676d30ebdd1e5 Mapping functions only make sense if the graphs are of kind * -> * -> * (admittedly, this prevents us from having graphs which can only map over node labels, etc. but we can't do much about that). Unfortunately, the current type checker can't cope with super-class constraints with type families, so it results in the mapping type signatures being uglier than they have to be, and MPTCs are required. ] hash: 0000002564-e4377e1bf1465a98d83dc0bf7d76ae818be66510c1121b1bbd2882a280fc2e9c [Make a start at adding Haddock documentation Ivan.Miljenovic@gmail.com**20100614031542 Ignore-this: 5ac37249f94a78f7e41142433abc5df7 ] hash: 0000004665-da362c8fd247780bae24293b4da56d647a31d0ac56b07d45e55759b25e0fff8a [Remove singleton Ivan.Miljenovic@gmail.com**20100616100517 Ignore-this: 9207da8f690d478e8a2da5941344ef49 Not sure if this really gives us much, especially with the current type (having :: LNode g -> g might make sense, since a singleton Context can't have any edges). ] hash: 0000000387-535d9c9383871057b92bbd4c628160c274ca3ad31f7d57dbf77570d1d6b2e4c0 [Remove delete Ivan.Miljenovic@gmail.com**20100616100709 Ignore-this: df30c95639bc4dc88deac360c126c85d As with singleton, not sure if this makes sense (what do you do if the label or edges don't match what's actually there?). ] hash: 0000000336-5cc6170e8c962eca224b5afc63c8ac34ac08a01b43affa1f2ac9edc19d390845 [Redefine lookup{Node,Edge}{,M} Ivan.Miljenovic@gmail.com**20100618135740 Ignore-this: e436272b9215ccf0f745d2543da7ecab Make the non-Maybe versions based on the Maybe versions rather than vice versa. Also, lookupEdge{,M} should return all edge labels, not just one. ] hash: 0000001375-0f05b20150831dd8ea9137abceeab41d9bd0c30c26ea9d5c6ae88d8016b2316f [Clean up definitions of nodes, edges, labNodes and labEdges Ivan.Miljenovic@gmail.com**20100619013104 Ignore-this: fff85955f2e7ff61014dbb55779d6163 ] hash: 0000001475-cee527a383804af61ca10ee08ae646b5b0cc7d88298b9158d7564a690259269a [Join the two classes together Ivan.Miljenovic@gmail.com**20100813131351 Ignore-this: 249d56df8ea2e3ba963d2a4cbd9dd6e8 ] hash: 0000000577-8a8121c9eca1ca099addd0787d7d0a8ff6d90b7d9526ae515aca0374de009f21 [Fix up definitions of match and context Ivan.Miljenovic@gmail.com**20100813132711 Ignore-this: ec6020e1f92e310157a8cfba9fdd5ffa ] hash: 0000001732-885eb93bd9506023672aeade5adb2615d1ed173904ec595ee3249395468a1f90 [Various cleanups of documentation and definitions Ivan.Miljenovic@gmail.com**20100813132759 Ignore-this: 9cf7d0dffc6e304f2fd630813238800d ] hash: 0000004800-e36e008ca34099d9ec4c2e4c5b3b1612f435f522d803fa85a874504fe720ed36 [Add the things-to-check file Ivan.Miljenovic@gmail.com**20100814000726 Ignore-this: daa4a9ff8ceb6be0784501e805b28d54 ] hash: 0000003079-fe56f16a4bd7cb7db29f0ec8f8bbd5711586766d0dabcc0b6632567c1e4e09d4