KingoftheHomeless 1ff567c1aa Fix scoped within scoped incoherency. Add runScopedNew (#466)		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