├── .github └── workflows │ └── ci-ubuntu.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── config.mk ├── docs └── example-parser.md ├── effect.ipkg ├── src └── Control │ ├── Cont │ ├── Exception.idr │ ├── IO.idr │ ├── Out.idr │ ├── State.idr │ ├── Thread.idr │ └── Void.idr │ ├── Effect │ ├── Exception.idr │ ├── Fail.idr │ ├── Labelled.idr │ ├── Lift.idr │ ├── Misc.idr │ ├── NonDet.idr │ ├── Reader.idr │ ├── State.idr │ └── Writer.idr │ ├── EffectAlgebra.idr │ ├── HigherOrder.idr │ └── Monad │ ├── Free.idr │ └── List.idr └── tests ├── .gitignore ├── Main.idr ├── Makefile ├── effect ├── test001 │ ├── .gitignore │ ├── Test.idr │ ├── expected │ ├── input │ ├── run │ └── test001.ipkg └── test002 │ ├── .gitignore │ ├── Parser.idr │ ├── expected │ ├── input │ ├── run │ └── test002.ipkg └── tests.ipkg /.github/workflows/ci-ubuntu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/.github/workflows/ci-ubuntu.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/README.md -------------------------------------------------------------------------------- /config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/config.mk -------------------------------------------------------------------------------- /docs/example-parser.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/docs/example-parser.md -------------------------------------------------------------------------------- /effect.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/effect.ipkg -------------------------------------------------------------------------------- /src/Control/Cont/Exception.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Cont/Exception.idr -------------------------------------------------------------------------------- /src/Control/Cont/IO.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Cont/IO.idr -------------------------------------------------------------------------------- /src/Control/Cont/Out.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Cont/Out.idr -------------------------------------------------------------------------------- /src/Control/Cont/State.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Cont/State.idr -------------------------------------------------------------------------------- /src/Control/Cont/Thread.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Cont/Thread.idr -------------------------------------------------------------------------------- /src/Control/Cont/Void.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Cont/Void.idr -------------------------------------------------------------------------------- /src/Control/Effect/Exception.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Exception.idr -------------------------------------------------------------------------------- /src/Control/Effect/Fail.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Fail.idr -------------------------------------------------------------------------------- /src/Control/Effect/Labelled.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Labelled.idr -------------------------------------------------------------------------------- /src/Control/Effect/Lift.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Lift.idr -------------------------------------------------------------------------------- /src/Control/Effect/Misc.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Misc.idr -------------------------------------------------------------------------------- /src/Control/Effect/NonDet.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/NonDet.idr -------------------------------------------------------------------------------- /src/Control/Effect/Reader.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Reader.idr -------------------------------------------------------------------------------- /src/Control/Effect/State.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/State.idr -------------------------------------------------------------------------------- /src/Control/Effect/Writer.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Effect/Writer.idr -------------------------------------------------------------------------------- /src/Control/EffectAlgebra.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/EffectAlgebra.idr -------------------------------------------------------------------------------- /src/Control/HigherOrder.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/HigherOrder.idr -------------------------------------------------------------------------------- /src/Control/Monad/Free.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Monad/Free.idr -------------------------------------------------------------------------------- /src/Control/Monad/List.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/src/Control/Monad/List.idr -------------------------------------------------------------------------------- /tests/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | -------------------------------------------------------------------------------- /tests/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/Main.idr -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/effect/test001/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /depends 3 | /output 4 | -------------------------------------------------------------------------------- /tests/effect/test001/Test.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test001/Test.idr -------------------------------------------------------------------------------- /tests/effect/test001/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test001/expected -------------------------------------------------------------------------------- /tests/effect/test001/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test001/input -------------------------------------------------------------------------------- /tests/effect/test001/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test001/run -------------------------------------------------------------------------------- /tests/effect/test001/test001.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test001/test001.ipkg -------------------------------------------------------------------------------- /tests/effect/test002/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | /depends 3 | /output 4 | -------------------------------------------------------------------------------- /tests/effect/test002/Parser.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test002/Parser.idr -------------------------------------------------------------------------------- /tests/effect/test002/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test002/expected -------------------------------------------------------------------------------- /tests/effect/test002/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test002/input -------------------------------------------------------------------------------- /tests/effect/test002/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/effect/test002/run -------------------------------------------------------------------------------- /tests/effect/test002/test002.ipkg: -------------------------------------------------------------------------------- 1 | package test001 2 | 3 | depends = effect 4 | modules = Parser 5 | 6 | -------------------------------------------------------------------------------- /tests/tests.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Russoul/Idris2-Effect/HEAD/tests/tests.ipkg --------------------------------------------------------------------------------