tomjaguarpaw/bluefin
1
1
Fork 0
mirror of https://github.com/tomjaguarpaw/bluefin.git synced 2024-09-11 05:45:51 +03:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 863f7d9d00 Add github links to cabal file Tom Ellis 2024-03-09 09:39:09 +0000
  • c014c00d19 bluefin -> 0.0.1.0, bluefin-internal -> 0.0.1.0 bluefin-internal-0.0.1.0 bluefin-0.0.1.0 Tom Ellis 2024-03-09 08:22:02 +0000
  • 19ecb0302a Add Writer docs Tom Ellis 2024-03-09 08:11:02 +0000
  • c2d626458e Add execWriter Tom Ellis 2024-03-09 08:10:51 +0000
  • 3c627ba4ec Elaborate on NoMonoLocalBinds and NoMonomorphismRestriction Tom Ellis 2024-03-09 07:48:02 +0000
  • e4f8f5860e Link to types rather than (non-existent) values Tom Ellis 2024-03-09 07:46:49 +0000
  • d7b8643dea Link to modules, not types Tom Ellis 2024-03-09 07:46:22 +0000
  • a90cbc511e Fix links Tom Ellis 2024-03-09 07:18:35 +0000
  • 7abbd1fc54 Use Stream w rather than Coroutine w () Tom Ellis 2024-03-04 10:25:19 +0000
  • 24723b9c57 Mark MonoLocalBindsErrors/MonomorphismRestriction errors MonoLocalBinds-MonomorphismRestriction Tom Ellis 2024-03-04 08:52:36 +0000
  • ffb1e9a0c0 not . not == id Tom Ellis 2024-03-02 11:27:06 +0000
  • eb346feb3c Merge identical if branches Tom Ellis 2024-03-02 11:26:52 +0000
  • 538c7af4bc Use value of if scrutinee in branches Tom Ellis 2024-03-02 11:25:26 +0000
  • eb0209a004 Use property of All Tom Ellis 2024-03-02 11:23:59 +0000
  • 6732f43294 Use passed rather than case on mFailure Tom Ellis 2024-03-02 11:23:40 +0000
  • 4ce0657c0f Split off passed check Tom Ellis 2024-03-02 11:22:34 +0000
  • df791c95db Ormolu Tom Ellis 2024-03-02 11:21:50 +0000
  • a53a3e0885 Ormolu Tom Ellis 2024-03-02 11:21:35 +0000
  • d88d7df5bc mFailure is a better name than passedThisOne Tom Ellis 2024-03-02 11:12:15 +0000
  • 701e57d893 Implement runTests using Writer rather than State Tom Ellis 2024-03-02 11:11:11 +0000
  • bd1c5c5e0a Add Bluefin.Writer Tom Ellis 2024-03-02 11:09:57 +0000
  • bf7e643e43 Remove not-required type signature Tom Ellis 2024-03-02 10:54:23 +0000
  • 47d9273cf4 runSpecH is a better name than allTrue Tom Ellis 2024-03-02 10:37:37 +0000
  • 0ea6f51fc7 Remove dead comment Tom Ellis 2024-03-02 10:12:41 +0000
  • d55a7c9dc0 ImplicitParam experiment ImplicitParam Tom Ellis 2024-03-02 09:49:44 +0000
  • 746023bf93 Initial import Tom Ellis 2024-01-27 20:52:30 +0000
  • dcbe5dad65 fixup before-squash Tom Ellis 2024-02-21 09:13:25 +0000
  • 5eca9e0971 More tweaks Tom Ellis 2024-02-19 07:46:34 +0000
  • 3d9d758a41 fixup Tom Ellis 2024-02-18 17:50:10 +0000
  • 1db4bf6c36 TODO Tom Ellis 2024-02-18 17:28:51 +0000
  • aa81198d4f More bits Tom Ellis 2024-02-18 17:10:50 +0000
  • 9451351926 Better variable Tom Ellis 2024-02-18 12:30:42 +0000
  • 035f3583a8 fixup Tom Ellis 2024-02-17 19:56:38 +0000
  • d64254bc5f fixup Tom Ellis 2024-02-17 19:31:17 +0000
  • 3ecce08d80 Compound example Tom Ellis 2024-02-17 19:24:47 +0000
  • 918453f345 examples Tom Ellis 2024-02-17 19:22:39 +0000
  • fee845f879 Lots of nice bits Tom Ellis 2024-02-17 18:52:14 +0000
  • 9493c6ae5e fix lambda Tom Ellis 2024-02-17 10:28:08 +0000
  • faf8716b7b Comments Tom Ellis 2024-02-17 10:25:41 +0000
  • cc72a0f8a3 MonadFail Tom Ellis 2024-02-17 10:17:32 +0000
  • 25e0b01c4f More docs Tom Ellis 2024-02-17 10:16:15 +0000
  • 47addf248c runEffIO Tom Ellis 2024-02-17 08:46:20 +0000
  • fdb01533d3 runPureEff Tom Ellis 2024-02-17 08:42:35 +0000
  • 3b1d83a451 More docs Tom Ellis 2024-02-17 08:19:53 +0000
  • 6270c314f3 Add enumerateFrom Tom Ellis 2024-02-17 08:19:46 +0000
  • 1bf20b7c6b fixup Tom Ellis 2024-02-16 22:08:06 +0000
  • adac4df0ce Better example Tom Ellis 2024-02-16 21:30:35 +0000
  • cde91292d7 EXample Tom Ellis 2024-02-16 21:12:59 +0000
  • d5e1549ffd Fix subsumption Tom Ellis 2024-02-16 20:54:00 +0000
  • cae5e6f69f Tweaks Tom Ellis 2024-02-16 20:52:59 +0000
  • b50efa4c4e mapMaybe Tom Ellis 2024-02-16 20:52:48 +0000
  • 650eb73681 Formatting Tom Ellis 2024-02-16 20:28:52 +0000
  • 43d179be9a Neater EffReader Tom Ellis 2024-02-16 20:28:14 +0000
  • 2ed6ef48b6 Use Reader and implement MonadUnliftIO Tom Ellis 2024-02-16 19:55:54 +0000
  • f43995f24d Simplify Tom Ellis 2024-02-12 12:39:34 +0000
  • 4ec0125a7b Wrap up inner effects in an opaque way Tom Ellis 2024-02-12 12:12:45 +0000
  • 2ad568d904 Explanation for why this probably isn't good Tom Ellis 2024-02-12 12:10:07 +0000
  • 29aa307f38 Comment about scepticism Tom Ellis 2024-02-11 21:39:01 +0000
  • 3305911b4a Tidy Tom Ellis 2024-02-11 21:38:35 +0000
  • a1ae0ab967 Add unwrap Tom Ellis 2024-02-11 21:38:19 +0000
  • 60cb4aed10 Wow, exposed nested effects seem to work Tom Ellis 2024-02-11 20:54:31 +0000
  • 680f325c6f fixup Tom Ellis 2024-02-10 19:50:23 +0000
  • ef2843a451 extract Tom Ellis 2024-02-10 19:45:05 +0000
  • a2f4b24bd4 More Tom Ellis 2024-02-10 19:27:53 +0000
  • f849497ce8 Still works Tom Ellis 2024-02-10 19:24:39 +0000
  • 89be9f5df4 More forall Tom Ellis 2024-02-10 19:23:02 +0000
  • 5563e82caa Fixup Tom Ellis 2024-02-10 19:20:58 +0000
  • 3761c346db fixup Tom Ellis 2024-02-10 19:20:08 +0000
  • 2a964be3a8 Still works Tom Ellis 2024-02-10 19:19:53 +0000
  • 1d8e177534 Miraculously works Tom Ellis 2024-02-10 19:17:14 +0000
  • 7dfc56965d Eta reduce type synonym Tom Ellis 2024-02-10 19:05:29 +0000
  • 06b77f39f9 Creadit Pottier Tom Ellis 2024-02-10 18:58:09 +0000
  • d0d628f0a0 Nested Stream for nice errors Tom Ellis 2024-02-10 18:49:46 +0000
  • 3c71ed9d76 Closer to nested Tom Ellis 2024-02-10 18:39:33 +0000
  • a755fef3c4 Prepare to yield errors Tom Ellis 2024-02-10 18:12:35 +0000
  • 4fcdf4cf79 Prepare to yield error lines Tom Ellis 2024-02-10 18:03:27 +0000
  • ab254ba4d4 Docs etc Tom Ellis 2024-02-10 18:00:28 +0000
  • 2cdbb349ea head and connect Tom Ellis 2024-02-10 15:45:53 +0000
  • 2ca315dcd3 fixup name Tom Ellis 2024-02-10 14:56:15 +0000
  • 83a8f65476 Postives example Tom Ellis 2024-02-10 14:55:48 +0000
  • 4ab2503e94 Work on front page Tom Ellis 2024-02-10 14:34:10 +0000
  • 9dcc31c98f Early return Tom Ellis 2024-02-10 13:43:58 +0000
  • 2801493842 Top level module Tom Ellis 2024-02-10 13:27:24 +0000
  • 0924c31133 more Tom Ellis 2024-02-10 13:22:27 +0000
  • d57e8cbfd7 More docs Tom Ellis 2024-02-10 13:16:58 +0000
  • 352a8275b3 More docs Tom Ellis 2024-02-10 12:32:09 +0000
  • f22ce5b8bb Exception docs Tom Ellis 2024-02-10 12:12:28 +0000
  • 9771ed9338 Fix tests and more examples Tom Ellis 2024-02-10 12:04:53 +0000
  • 97e0f527da More docs Tom Ellis 2024-02-10 11:50:14 +0000
  • c6b4495ff9 fix Tom Ellis 2024-02-10 11:24:56 +0000
  • 249d8f2c9d fixu Tom Ellis 2024-02-10 11:24:39 +0000
  • f469181ba9 Better docs Tom Ellis 2024-02-10 11:20:49 +0000
  • deecb84853 fixup monadio Tom Ellis 2024-02-10 10:49:48 +0000
  • b0ee0dbad9 Rename to match MTL/effectful Tom Ellis 2024-02-10 10:42:26 +0000
  • 1bf10b4fc8 MonadIO Tom Ellis 2024-02-10 10:40:29 +0000
  • def4c99a7b Acknowledgements Tom Ellis 2024-02-10 10:40:16 +0000
  • 9f42159611 inFoldable and enumerate Tom Ellis 2024-02-05 13:50:16 +0000
  • 4ebe6de471 Simplify test Tom Ellis 2024-02-05 13:42:13 +0000
  • b321c953e2 fixup test Tom Ellis 2024-02-03 18:01:42 +0000
  • 85132cc664 fixup Tom Ellis 2024-02-03 17:49:53 +0000