├── .gitignore ├── .travis.yml ├── LICENSE ├── Makefile ├── README.md ├── Setup.hs ├── benchmark └── Benchmarks.hs ├── docs ├── benchmarks.html ├── benchmarks_nondeterminism.html └── index.html ├── extensible-effects.cabal ├── src ├── Control │ ├── Eff.hs │ └── Eff │ │ ├── Coroutine.hs │ │ ├── Example.hs │ │ ├── Example │ │ └── Fresh.hs │ │ ├── Exception.hs │ │ ├── Extend.hs │ │ ├── Extend │ │ └── Tutorial.hs │ │ ├── Internal.hs │ │ ├── Logic │ │ ├── Core.hs │ │ ├── Experimental.hs │ │ └── NDet.hs │ │ ├── Operational.hs │ │ ├── Operational │ │ └── Example.hs │ │ ├── QuickStart.hs │ │ ├── Reader │ │ ├── Lazy.hs │ │ └── Strict.hs │ │ ├── State │ │ ├── Lazy.hs │ │ ├── OnDemand.hs │ │ └── Strict.hs │ │ ├── Trace.hs │ │ └── Writer │ │ ├── Lazy.hs │ │ └── Strict.hs └── Data │ ├── FTCQueue.hs │ └── OpenUnion.hs ├── stack.yaml ├── stack ├── stack-8.4.4.yaml ├── stack-8.6.5.yaml └── stack-8.8.4.yaml └── test ├── Control └── Eff │ ├── Coroutine │ └── Test.hs │ ├── Example │ ├── Fresh │ │ └── Test.hs │ └── Test.hs │ ├── Exception │ └── Test.hs │ ├── Logic │ ├── NDet │ │ ├── Bench.hs │ │ └── Test.hs │ └── Test.hs │ ├── Operational │ └── Test.hs │ ├── Reader │ ├── Lazy │ │ └── Test.hs │ └── Strict │ │ └── Test.hs │ ├── State │ ├── Lazy │ │ └── Test.hs │ ├── OnDemand │ │ └── Test.hs │ └── Strict │ │ └── Test.hs │ ├── Test.hs │ ├── Trace │ └── Test.hs │ └── Writer │ ├── Lazy │ └── Test.hs │ └── Strict │ └── Test.hs ├── DoctestRun.hs ├── Test.hs └── Utils.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /benchmark/Benchmarks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/benchmark/Benchmarks.hs -------------------------------------------------------------------------------- /docs/benchmarks.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/docs/benchmarks.html -------------------------------------------------------------------------------- /docs/benchmarks_nondeterminism.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/docs/benchmarks_nondeterminism.html -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- 1 | benchmarks.html -------------------------------------------------------------------------------- /extensible-effects.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/extensible-effects.cabal -------------------------------------------------------------------------------- /src/Control/Eff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff.hs -------------------------------------------------------------------------------- /src/Control/Eff/Coroutine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Coroutine.hs -------------------------------------------------------------------------------- /src/Control/Eff/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Example.hs -------------------------------------------------------------------------------- /src/Control/Eff/Example/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Example/Fresh.hs -------------------------------------------------------------------------------- /src/Control/Eff/Exception.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Exception.hs -------------------------------------------------------------------------------- /src/Control/Eff/Extend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Extend.hs -------------------------------------------------------------------------------- /src/Control/Eff/Extend/Tutorial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Extend/Tutorial.hs -------------------------------------------------------------------------------- /src/Control/Eff/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Internal.hs -------------------------------------------------------------------------------- /src/Control/Eff/Logic/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Logic/Core.hs -------------------------------------------------------------------------------- /src/Control/Eff/Logic/Experimental.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Logic/Experimental.hs -------------------------------------------------------------------------------- /src/Control/Eff/Logic/NDet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Logic/NDet.hs -------------------------------------------------------------------------------- /src/Control/Eff/Operational.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Operational.hs -------------------------------------------------------------------------------- /src/Control/Eff/Operational/Example.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Operational/Example.hs -------------------------------------------------------------------------------- /src/Control/Eff/QuickStart.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/QuickStart.hs -------------------------------------------------------------------------------- /src/Control/Eff/Reader/Lazy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Reader/Lazy.hs -------------------------------------------------------------------------------- /src/Control/Eff/Reader/Strict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Reader/Strict.hs -------------------------------------------------------------------------------- /src/Control/Eff/State/Lazy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/State/Lazy.hs -------------------------------------------------------------------------------- /src/Control/Eff/State/OnDemand.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/State/OnDemand.hs -------------------------------------------------------------------------------- /src/Control/Eff/State/Strict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/State/Strict.hs -------------------------------------------------------------------------------- /src/Control/Eff/Trace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Trace.hs -------------------------------------------------------------------------------- /src/Control/Eff/Writer/Lazy.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Writer/Lazy.hs -------------------------------------------------------------------------------- /src/Control/Eff/Writer/Strict.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Control/Eff/Writer/Strict.hs -------------------------------------------------------------------------------- /src/Data/FTCQueue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Data/FTCQueue.hs -------------------------------------------------------------------------------- /src/Data/OpenUnion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/src/Data/OpenUnion.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/stack.yaml -------------------------------------------------------------------------------- /stack/stack-8.4.4.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/stack/stack-8.4.4.yaml -------------------------------------------------------------------------------- /stack/stack-8.6.5.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/stack/stack-8.6.5.yaml -------------------------------------------------------------------------------- /stack/stack-8.8.4.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/stack/stack-8.8.4.yaml -------------------------------------------------------------------------------- /test/Control/Eff/Coroutine/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Coroutine/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Example/Fresh/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Example/Fresh/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Example/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Example/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Exception/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Exception/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Logic/NDet/Bench.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Logic/NDet/Bench.hs -------------------------------------------------------------------------------- /test/Control/Eff/Logic/NDet/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Logic/NDet/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Logic/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Logic/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Operational/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Operational/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Reader/Lazy/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Reader/Lazy/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Reader/Strict/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Reader/Strict/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/State/Lazy/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/State/Lazy/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/State/OnDemand/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/State/OnDemand/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/State/Strict/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/State/Strict/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Trace/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Trace/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Writer/Lazy/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Writer/Lazy/Test.hs -------------------------------------------------------------------------------- /test/Control/Eff/Writer/Strict/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Control/Eff/Writer/Strict/Test.hs -------------------------------------------------------------------------------- /test/DoctestRun.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/DoctestRun.hs -------------------------------------------------------------------------------- /test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Test.hs -------------------------------------------------------------------------------- /test/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/suhailshergill/extensible-effects/HEAD/test/Utils.hs --------------------------------------------------------------------------------