pristine:0000000565-2d4e812642526ae156e62f3e0f5fcd70422cfaa2e83ef5b693abc7ecedfa051e [some rough initial work Jake McArthur **20090914013738 Ignore-this: 37bfa0f26e5919821174c200ea4b33e4 There is a lot I don't like about this, it's not very organized, blah blah blah. I'm really just going for a foundation to evolve at this point. ] hash: 0000016709-37ac9ac0504211317a5a58f303d09f776ea3109f07c00e3bdc70541c5d28cb2d [set some fixities Jake McArthur **20090914043150 Ignore-this: 84c6bf5a533eec1cfb6c1011ee6e67c1 ] hash: 0000000980-062a1a12282f0bc29ffecc2e5dfa1f2251d2e1159adad47b8507c980d1ebe66f [formatting Jake McArthur **20090914043331 Ignore-this: c95ad596b0ff98c529911a570dbeabb0 ] hash: 0000000252-956f7de4c55215a0cf46082ec47743c84e75c38c6c4ddbf16826609cbf29105a [remove (<<) Jake McArthur **20090914043344 Ignore-this: 9062187578ef019ae9e99b4a89fe0219 ] hash: 0000000219-95455370a9bbae94deb544d4700ad1c984e6fa4d317c262ed0ec212821f25791 [add instances for IO up to Monad and add Monad instance for Hask Jake McArthur **20090914045052 Ignore-this: 725746a2005fb72f4ff6c9162b7b8017 ] hash: 0000000840-90da4259c86330056e22f8660f86d9cc15fe65528d75b63144a82c400e5ef3e8 [add System.IO with basic IO export Jake McArthur **20090914045127 Ignore-this: 9c23aa89faae310f263a6718e8f8443 ] hash: 0000000409-0ad5ff5c69989bd7e61a255df873c8754ac7ee2578c077c31a1a3c8665dccf1e [add instances up to Monad for tuples Jake McArthur **20090914045739 Ignore-this: 6948d239b52232b23712827314a1aa42 ] hash: 0000000667-245e1cab4d3278f2023ebd8ffb307d7c3375a0ff3b32c2ecaf201d9784eb150f [add modules to exports of many modules Jake McArthur **20090914051014 Ignore-this: 156b2f7cd8901655f22ea2f5a60efbb6 ] hash: 0000002840-2f22c9d67687e39912d158f01a35256f3ec45e12520557b19daada6c5eb2c876 [remove unnecessary import in Control.Applicative Jake McArthur **20090914052404 Ignore-this: f520bbff2a6ea5868b4ca6047b90b71 ] hash: 0000000205-9b3957041d353e0ebf0858b26f05dcb5348303b1d65a531625cf2f2e09591392 [add applyTo function in Data.Function Jake McArthur **20090914052418 Ignore-this: a0a82a89e4a9e9d7ef93d9bf05a3a6ea ] hash: 0000000651-6ae16bcc564fe3efdbbd0eb789534816939a32a46e315d0b1df58e8d630a7453 [add (<$$>) to Control.Applicative Jake McArthur **20090914052754 Ignore-this: cd09137c28d1e03534161e47e3e89596 ] hash: 0000000302-395bd4c3f0df81ce11120e50886b8c0bf42e9cbce2185543127c2bd6370090a0 [remove some more unnecessary imports Jake McArthur **20090914052809 Ignore-this: 6f014c0a156b05ad7fbfcf866cd7a5f1 ] hash: 0000000239-a460f866a22515e6dcd5d670633029c0b4d606051ce43793c8dc729cf1e3b9ce [Monad instance for Either Jake McArthur **20090914053125 Ignore-this: 14e94be98e80a0789de813eb7f92efe6 ] hash: 0000000382-b2b9b4ead4ae5b51a4a3997c23b58f8879c097537b11c31aa7b8c4028b87a9e8 [add Kleisli to Control.Monad Jake McArthur **20090914053758 Ignore-this: b63cf6e8c429504046c897d4f8cf70a8 ] hash: 0000000406-0713fd9bd6ba39dc83033874e881239fe2e4b498b865ad236335fdaad6e5c4fe [add Data.Fail and Data.String and write a Fail instance for Either Jake McArthur **20090915031317 Ignore-this: d58052bd6e21c78b913fd977f80074ed ] hash: 0000000866-d6e359bf8f76ad1264f1b746335e2c9a4cd9679d30fbedb6e3f199b18722bc37 [start Data.List Jake McArthur **20090915033432 Ignore-this: 89e413484d11caef59c5ed3bc141a942 ] hash: 0000000834-62d3eefab074fef5b97500f05e4edf967f01bdc9570669dfae94cdc0e4ee3985 [add Data.Fixpoint Jake McArthur **20090915133941 Ignore-this: 8ad636e748ec1402db2452f4cf11302c ] hash: 0000001784-0c82f9cd7f8a6754231a5f7a911ea461d6311960ae7880b1522adf3bb76ac0e5 [add foldr to Data.List Jake McArthur **20090915133955 Ignore-this: 543dc7505cd9474397676c74d333eb30 This is just temporary until I add Foldable (or an equivalent) ] hash: 0000000398-c609f1c96a41eb9e057ce2fa2a4ce7298f562acd04d556e4310add2c3848b617 [remove fold and unfold from Data.Fixpoint Jake McArthur **20090915134244 Ignore-this: 2c138ee51c7050d2fc67399687585ae ] hash: 0000000333-6535f102cf26a899bf27e72247af27fc57c845055dfce369d5708381f584b5d5 [add foldl to Data.List Jake McArthur **20090916020305 Ignore-this: 72795fe8b1193154fa52fa974013c797 ] hash: 0000000282-c5aabca901ffccc0b64e889406b034d79d2ac0750cd8507a0dd106fc272ec20c [make a Monoid instance for [a] Jake McArthur **20090916020324 Ignore-this: d612731ab711c9e54df097a5c89b21e0 ] hash: 0000000452-1e2c47a5ced711ff0cb45f902532a04efee499c260ce66e7546fcac085c3b019 [add concat to Data.List Jake McArthur **20090916020849 Ignore-this: 204593f31885747710214f5afd2c6e1f ] hash: 0000000211-acd47c962cede6c96e0e120454df26d2f474df42f79954bcc1ff33545861baee [add Data.Wrapper Jake McArthur **20090916022315 Ignore-this: 3366bf02b60ae3776fd0fc4739bf24a8 ] hash: 0000002276-c0d74601c50be9c4e78e7621218063d242d71ce950b9bf4bd719add01fdec96a [Monad instances for Nondet and starting ZipList Jake McArthur **20090916024415 Ignore-this: 10f8e33c30d02f15961f3849c32cd25 ] hash: 0000000907-1a58a4b61b8fcd603a442e17a223ef8067096c6927ab2b2c86b21eefc527de4b [Monoid instance for Nondet Jake McArthur **20090916025345 Ignore-this: f3be3763b081316d64dc002b78d1bf1d ] hash: 0000000383-cfc28d9b24633456352e522c8c92a9670c8145876ae5f78a76c1a9af5f95bc6a [add Data.Tuple Jake McArthur **20090916042457 Ignore-this: d50ba6f7c13616f73eb62db6e887103a ] hash: 0000001641-812e95d0373d84381fc71b27c44b5bbdf1c5a86fb191f47ef07ae4d60a22d7b1 [add Data.Natural Jake McArthur **20090916051008 Ignore-this: ce8fba72c1c1985112a9c4469a60d83b ] hash: 0000001092-8c382ad27da629b8301870cdec6eeee8e21f294a528fa1f6a3c8886232244aa3 [add MultiplicativeMonoid Jake McArthur **20090916052426 Ignore-this: c6f68495130ad587b150e7187908c8ad ] hash: 0000001810-67cd09dcb30302d9cbc5e5c33c77be9a29572f90349989c21eddab5cabc18af4 [rollback multiplicative magma hierarchy Jake McArthur **20090916223604 Ignore-this: e1217256c3a9f43cdf7d0fef7a6b5419 ] hash: 0000001825-0d8f1a4ae7f2f8499528e7c71ad81fab09c5129f1410d3d65f174204301a7c6d [change (+) to op and zero to unit in Magma and Unital Jake McArthur **20090916234814 Ignore-this: e3d3d99150f94e339048f6cd3aa8018d ] hash: 0000002944-6d4b1c3158445ce14d5cf0666c8aa6a216736b7621df8fcc3a0f5420f295dbe6 [add Data.Maybe Jake McArthur **20090917021319 Ignore-this: ad19b4fae241aea884a2cb7676d976a9 ] hash: 0000000324-28fe4b682f98576b3dd9ad72637d611d56e77508b96d0d3123ea11ff82cea909 [Monad instance for Maybe Jake McArthur **20090917021620 Ignore-this: 7206bbf5cc1179dc32f091f780f7eb7b ] hash: 0000000695-fb6a43166ca8d44661712732d24728c90744b628c9223c4aa7cae1fe9a9ad153 [add casePreList for Pre [a] b Jake McArthur **20090917041623 Ignore-this: b558889830512ff29492a0d3503ededb ] hash: 0000000703-604811a20b2c7f8256c4eda03e4dfac6ee8c090896f82db1846f701fffe0e014 [switch from categorical functors to normal functors Jake McArthur **20090926223238 Ignore-this: 3efa46557de79c848de2f3cda663c5c6 ] hash: 0000009649-2a27921e8ab4af8ccbb377f52bdab3cb7b7a279bd9b70031e917fef4e9e8699a [add Control.Functor.Compose Jake McArthur **20090926235049 Ignore-this: 12e2b941c4fc3508edfbf3d219611917 ] hash: 0000001166-917db68a6356d87e6b0c59c56ac0bbc0e4069e5bf8500dd1dcee3da25e276c78 [add for function to Control.Functor Jake McArthur **20090927024518 Ignore-this: fee65d92c1566ce97792ee97c5b15ae0 ] hash: 0000000271-1af7c24bb293aa3339a46527a23a6823d72085fe145137f47e296e12204954a1 [add several Functor compositions Jake McArthur **20090927052139 Ignore-this: e9818813880900276e5e92d495c12b79 ] hash: 0000003149-ed55bd7fbd90c0c43cf6bfa28cf8120028f7096214c261d90027b451aa158b2b [add App to Control.Functor.Compose Jake McArthur **20090927055555 Ignore-this: f424b378dc3b2fcf843caf899058d178 ] hash: 0000001040-dbc59e01392c73d804d8eac5cf9193b1456e1a4dcbd6cb83d73e235e6790e888 [algebra instances for functions Jake McArthur **20090927060729 Ignore-this: 54b8e6d0deb8334f0279f6bec1ddd78b ] hash: 0000001066-3b3ffce7d0da61e2bf09d3219b70d742f25c29cfdd9ad61d04dd74d8931b67d5 [some cleanup in Data.List Jake McArthur **20090927062002 Ignore-this: 66d200841c5986bedc7a2036d3564790 ] hash: 0000000727-1b7fd22666c404f4f83a8fe5e606da4ddc4e60f628495cda18cc3ac16d44ff16 [a more compositional definition for Nondet Jake McArthur **20090927062735 Ignore-this: 6ef3a0eb410b385a85bc3074cab7e4d6 It's not very pretty yet, but the basic idea is there. ] hash: 0000001586-fa367d7534e80e1ca2a2d45f605d54a089026dffb072329c7110a9645f038723 [fix major typo in Data.List Jake McArthur **20090927151250 Ignore-this: 24bb39956a95ae5815b194bbdfd0177c ] hash: 0000000269-c94075a6d9d360a9c6de9f0d3606ea0f834ed9531c0f0ec0599a877e4e15ad2d [hide Nondet' Jake McArthur **20090928013242 Ignore-this: ecfe272d7cbf77be5079d32ccc1447ef ] hash: 0000000739-9ff3a4d32c76ae446e514f501bbd01e95ec0bfc7152fd6bce201265e207cbe28 [add Applicative for simple Applicative composition and use DistCompF's Monad instance for its Applicative instance Jake McArthur **20090928030553 Ignore-this: 4d7fff5b1823765c567e955adf66d205 ] hash: 0000000812-2ad3ed9b92d975ff09d3a925f5daffdde19e2482c2fde81ab573af432aac73a6 [remove some comments from Control.Functor.Compose Jake McArthur **20090928030650 Ignore-this: e65b7704272cad67b89cb9d2515eec05 ] hash: 0000000327-76fb5a84a1cb82991c705d16d9ef1cb72ab19bcaba98d580f64537b4b05c74ae [refactor Control.Arrow to use some bifunctor type classes Jake McArthur **20090928041156 Ignore-this: d905715a244a53e15ad1c87828982cf8 ] hash: 0000005858-259151d670cb887a5a830a75186195ad879f5530a9ef29db3fdf6336deaa6f7e [add LCopointed and RCopointed to Control.Arrow Jake McArthur **20090928044359 Ignore-this: a160d729b0f107216684c0caacdab4f9 ] hash: 0000000518-3f32d5fd8ba79f725ddc23d746f35c795d4e95eb3fe62ec31f415a405c7e8064 [add Lift to Control.Functor.Compose Jake McArthur **20090928044416 Ignore-this: 842e62c4f1e092d523680e4074316e3 ] hash: 0000000953-38eab79518a65391a9863656d64beb6775f647a543dc43a78c31aeb95fb2a59e [add (:*:) and (:+:) to Control.Functor.Compose Jake McArthur **20090928044548 Ignore-this: 223ddca8bb992ab0c8d7194a48928e9e ] hash: 0000000298-bc9c26e987462968bccac8d1f2faf41129c08f5ecb83050a071aa2dda8ee6048 [add Data.Monoid.Reducer Jake McArthur **20090929035349 Ignore-this: 8d819e45575bf416e8c9ebe24c0d55cb ] hash: 0000001330-3c2a39e6be202f2908dd3effdef6aee2db71c3785414b019c02ccb867b51a15c [add repeat and cycle functions Jake McArthur **20090930030632 Ignore-this: 8b6820cfd0cc454bb9d9de8cd6e6f409 ] hash: 0000000386-6a27b6538027e4f4d40376d2d80dab85fdb49967f771cd26368d7602c00356d6 [add back categorical functors Jake McArthur **20091001043117 Ignore-this: be8a433be6da131e39c2bcb08f06a804 It turns out that it might be useful after all. This time around there is only one Category in the context and things are arranged so that StandaloneDeriving can work properly. ] hash: 0000016539-68309f216dd8c55e73e62607d510f2cd5c8370ac7a28d23866d2507c00b5b2bf [reorder Bifunctor parameters to match Functor's parameters Jake McArthur **20091001043620 Ignore-this: 18a65cd917e4737f9d41f6ccb6995d6e ] hash: 0000003880-3a602182871cbb2b7ab4bda6c2ac5d01c24ac82c0ee1aa07d6e66a8d17ffcc31 [add maybe function to Data.Maybe Jake McArthur **20091001050127 Ignore-this: cfab40db87cc66007c75e2a40918ad4d ] hash: 0000000253-00ca573434ed0e5783fc4716ee80c17a07411010af0d42398ea1c9167d1af667 [Monad (Kleisli Hask m) Maybe Jake McArthur **20091001053200 Ignore-this: ecf5bac1105933e3b45681c55dfe2643 ] hash: 0000000771-a73437d8a068d296af98e5a22ec0029b9be0f8c1debc60634ad848a49f9d499a [put extensions into cabal file rather than using LANGUAGE pragmas in each file Jake McArthur **20091002014005 Ignore-this: b4486a546a96893c4f3a7b7c4c332473 ] hash: 0000004465-617b456497ecc7451aaa3907697869a692529554f85076cce04c5f78a54d9c49 [add comonad Jake McArthur **20091003042952 Ignore-this: 5737defab80f39d0c0ebb388159e275a ] hash: 0000001374-8262264d122d6c9f0551e8028e5f4f754f47c5892ce5fabf7157b5b46b30ceb7 [add comonad instance for tuple Jake McArthur **20091003043004 Ignore-this: 4b56c148ef6ed85bf8a2c3c8114e95bf ] hash: 0000000297-425ed971a12bc78e31d8e63dc2f0ccfd5f5b80fa7747f42731686c430c501d93 [add Copointed instance for functor composition types Jake McArthur **20091003231224 Ignore-this: ad4fb286d42973080ba0030f23c16ac2 ] hash: 0000000798-9beb517b7d5b32a979316c34f3dca0d093b3cca4a854369d314c5889866059ff