polysemy/test
2022-12-28 16:21:33 +01:00
..
AlternativeSpec.hs Revert functorial state of runNonDet to [] (#273) 2019-11-01 21:20:32 +01:00
BracketSpec.hs Remove lowering functions and forklift (#438) 2021-12-01 09:59:18 -08:00
DoctestSpec.hs Feature/cabal doctest and ghc 8.8.1 (#267) 2019-10-28 17:13:44 +01:00
ErrorSpec.hs Prevent errorToIOFinal from mixing errors up (#444) 2022-01-23 20:41:35 +01:00
FailSpec.hs Add Fail effect (#199) 2019-08-06 09:07:54 -04:00
FinalSpec.hs Add Final Effect (#217) 2019-08-30 22:38:53 +02:00
FixpointSpec.hs Small code simplifications (#360) 2020-07-29 17:20:11 +02:00
FusionSpec.hs release 1.6.0.0 2021-07-12 13:33:42 +02:00
HigherOrderSpec.hs Custom type error testing (#113) 2019-06-15 20:04:11 -04:00
InterceptSpec.hs Rename everything and its grandmother (#175) 2019-07-15 12:40:42 -04:00
KnownRowSpec.hs Membership proof rewrite, membership testing, Bundle effect (#282) 2019-12-08 13:52:37 +01:00
Main.hs tests 2019-03-18 23:04:21 -04:00
OutputSpec.hs Add Final Effect (#217) 2019-08-30 22:38:53 +02:00
ScopedSpec.hs Fix scoped within scoped incoherency. Add runScopedNew (#466) 2022-12-28 16:21:33 +01:00
TacticsSpec.hs Simple variants of runT and bindT (#393) 2020-11-18 20:46:14 +01:00
ThEffectSpec.hs Reenable data families and their tests 2019-07-09 07:43:07 +02:00
TypeErrors.hs Remove lowering functions and forklift (#438) 2021-12-01 09:59:18 -08:00
WriterSpec.hs Add lazy interpretations for Output and Writer (#311) 2020-02-13 21:20:24 +01:00