├── .github └── workflows │ └── build.yml ├── .gitignore ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── LICENSE ├── README.md ├── Setup.hs ├── bench └── Core.hs ├── cabal.project ├── cabal.project.ci ├── examples └── src │ ├── Capitalize.hs │ ├── Console.hs │ ├── Coroutine.hs │ ├── Fresh.hs │ ├── Main.hs │ └── Trace.hs ├── freer-simple.cabal ├── src ├── Control │ └── Monad │ │ ├── Freer.hs │ │ └── Freer │ │ ├── Coroutine.hs │ │ ├── Error.hs │ │ ├── Fresh.hs │ │ ├── Internal.hs │ │ ├── NonDet.hs │ │ ├── Reader.hs │ │ ├── State.hs │ │ ├── TH.hs │ │ ├── Trace.hs │ │ └── Writer.hs └── Data │ ├── FTCQueue.hs │ ├── OpenUnion.hs │ └── OpenUnion │ └── Internal.hs └── tests ├── Tests.hs └── Tests ├── Coroutine.hs ├── Exception.hs ├── Fresh.hs ├── Loop.hs ├── NonDet.hs ├── Reader.hs ├── State.hs └── TH.hs /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /dist-newstyle 2 | /cabal.project.local 3 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /bench/Core.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/bench/Core.hs -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/cabal.project -------------------------------------------------------------------------------- /cabal.project.ci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/cabal.project.ci -------------------------------------------------------------------------------- /examples/src/Capitalize.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/examples/src/Capitalize.hs -------------------------------------------------------------------------------- /examples/src/Console.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/examples/src/Console.hs -------------------------------------------------------------------------------- /examples/src/Coroutine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/examples/src/Coroutine.hs -------------------------------------------------------------------------------- /examples/src/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/examples/src/Fresh.hs -------------------------------------------------------------------------------- /examples/src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/examples/src/Main.hs -------------------------------------------------------------------------------- /examples/src/Trace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/examples/src/Trace.hs -------------------------------------------------------------------------------- /freer-simple.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/freer-simple.cabal -------------------------------------------------------------------------------- /src/Control/Monad/Freer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Coroutine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Coroutine.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Error.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Error.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Fresh.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Internal.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/NonDet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/NonDet.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Reader.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/State.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/TH.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Trace.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Trace.hs -------------------------------------------------------------------------------- /src/Control/Monad/Freer/Writer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Control/Monad/Freer/Writer.hs -------------------------------------------------------------------------------- /src/Data/FTCQueue.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Data/FTCQueue.hs -------------------------------------------------------------------------------- /src/Data/OpenUnion.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Data/OpenUnion.hs -------------------------------------------------------------------------------- /src/Data/OpenUnion/Internal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/src/Data/OpenUnion/Internal.hs -------------------------------------------------------------------------------- /tests/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests.hs -------------------------------------------------------------------------------- /tests/Tests/Coroutine.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/Coroutine.hs -------------------------------------------------------------------------------- /tests/Tests/Exception.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/Exception.hs -------------------------------------------------------------------------------- /tests/Tests/Fresh.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/Fresh.hs -------------------------------------------------------------------------------- /tests/Tests/Loop.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/Loop.hs -------------------------------------------------------------------------------- /tests/Tests/NonDet.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/NonDet.hs -------------------------------------------------------------------------------- /tests/Tests/Reader.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/Reader.hs -------------------------------------------------------------------------------- /tests/Tests/State.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/State.hs -------------------------------------------------------------------------------- /tests/Tests/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/lexi-lambda/freer-simple/HEAD/tests/Tests/TH.hs --------------------------------------------------------------------------------