├── .ghci ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CHANGES.md ├── LICENSE ├── README.md ├── examples ├── Build.hs ├── Parser.hs ├── Processor.hs ├── Query.hs ├── Teletype.hs ├── Teletype │ └── Rigid.hs └── Validation.hs ├── paper ├── .gitignore ├── 1-intro.tex ├── 2-selective.tex ├── 3-static.tex ├── 4-haxl.tex ├── 5-free.tex ├── 6-alternatives.tex ├── 7-related.tex ├── 8-conclusions.tex ├── ACM-Reference-Format.bst ├── Makefile ├── acmart.cls ├── artefact │ ├── Dockerfile │ ├── README-ACMDL.md │ └── README.md ├── cover-letter.txt ├── fig │ ├── add.pdf │ ├── add.svg │ ├── addAndJump.pdf │ ├── addAndJump.svg │ ├── build-dependencies.pdf │ ├── build-dependencies.svg │ ├── comment-haxl-applicative.pdf │ ├── comment-haxl-applicative.svg │ ├── comment-haxl-monad.pdf │ ├── comment-haxl-monad.svg │ ├── comment-haxl-selective-1.pdf │ ├── comment-haxl-selective-1.svg │ ├── comment-haxl-selective-2.pdf │ ├── comment-haxl-selective-2.svg │ ├── jumpZero.pdf │ └── jumpZero.svg ├── irc-log-branchy.md ├── main.tex ├── refs.bib ├── response.md └── todo.md ├── selective.cabal ├── src └── Control │ ├── Selective.hs │ └── Selective │ ├── Free.hs │ ├── Multi.hs │ ├── Rigid │ ├── Free.hs │ └── Freer.hs │ └── Trans │ └── Except.hs ├── stack.yaml └── test ├── Laws.hs ├── Main.hs ├── Sketch.hs └── Test.hs /.ghci: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/.ghci -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/README.md -------------------------------------------------------------------------------- /examples/Build.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Build.hs -------------------------------------------------------------------------------- /examples/Parser.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Parser.hs -------------------------------------------------------------------------------- /examples/Processor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Processor.hs -------------------------------------------------------------------------------- /examples/Query.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Query.hs -------------------------------------------------------------------------------- /examples/Teletype.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Teletype.hs -------------------------------------------------------------------------------- /examples/Teletype/Rigid.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Teletype/Rigid.hs -------------------------------------------------------------------------------- /examples/Validation.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/examples/Validation.hs -------------------------------------------------------------------------------- /paper/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/.gitignore -------------------------------------------------------------------------------- /paper/1-intro.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/1-intro.tex -------------------------------------------------------------------------------- /paper/2-selective.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/2-selective.tex -------------------------------------------------------------------------------- /paper/3-static.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/3-static.tex -------------------------------------------------------------------------------- /paper/4-haxl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/4-haxl.tex -------------------------------------------------------------------------------- /paper/5-free.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/5-free.tex -------------------------------------------------------------------------------- /paper/6-alternatives.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/6-alternatives.tex -------------------------------------------------------------------------------- /paper/7-related.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/7-related.tex -------------------------------------------------------------------------------- /paper/8-conclusions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/8-conclusions.tex -------------------------------------------------------------------------------- /paper/ACM-Reference-Format.bst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/ACM-Reference-Format.bst -------------------------------------------------------------------------------- /paper/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/Makefile -------------------------------------------------------------------------------- /paper/acmart.cls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/acmart.cls -------------------------------------------------------------------------------- /paper/artefact/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/artefact/Dockerfile -------------------------------------------------------------------------------- /paper/artefact/README-ACMDL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/artefact/README-ACMDL.md -------------------------------------------------------------------------------- /paper/artefact/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/artefact/README.md -------------------------------------------------------------------------------- /paper/cover-letter.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/cover-letter.txt -------------------------------------------------------------------------------- /paper/fig/add.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/add.pdf -------------------------------------------------------------------------------- /paper/fig/add.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/add.svg -------------------------------------------------------------------------------- /paper/fig/addAndJump.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/addAndJump.pdf -------------------------------------------------------------------------------- /paper/fig/addAndJump.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/addAndJump.svg -------------------------------------------------------------------------------- /paper/fig/build-dependencies.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/build-dependencies.pdf -------------------------------------------------------------------------------- /paper/fig/build-dependencies.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/build-dependencies.svg -------------------------------------------------------------------------------- /paper/fig/comment-haxl-applicative.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-applicative.pdf -------------------------------------------------------------------------------- /paper/fig/comment-haxl-applicative.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-applicative.svg -------------------------------------------------------------------------------- /paper/fig/comment-haxl-monad.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-monad.pdf -------------------------------------------------------------------------------- /paper/fig/comment-haxl-monad.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-monad.svg -------------------------------------------------------------------------------- /paper/fig/comment-haxl-selective-1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-selective-1.pdf -------------------------------------------------------------------------------- /paper/fig/comment-haxl-selective-1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-selective-1.svg -------------------------------------------------------------------------------- /paper/fig/comment-haxl-selective-2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-selective-2.pdf -------------------------------------------------------------------------------- /paper/fig/comment-haxl-selective-2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/comment-haxl-selective-2.svg -------------------------------------------------------------------------------- /paper/fig/jumpZero.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/jumpZero.pdf -------------------------------------------------------------------------------- /paper/fig/jumpZero.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/fig/jumpZero.svg -------------------------------------------------------------------------------- /paper/irc-log-branchy.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/irc-log-branchy.md -------------------------------------------------------------------------------- /paper/main.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/main.tex -------------------------------------------------------------------------------- /paper/refs.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/refs.bib -------------------------------------------------------------------------------- /paper/response.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/response.md -------------------------------------------------------------------------------- /paper/todo.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/paper/todo.md -------------------------------------------------------------------------------- /selective.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/selective.cabal -------------------------------------------------------------------------------- /src/Control/Selective.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/src/Control/Selective.hs -------------------------------------------------------------------------------- /src/Control/Selective/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/src/Control/Selective/Free.hs -------------------------------------------------------------------------------- /src/Control/Selective/Multi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/src/Control/Selective/Multi.hs -------------------------------------------------------------------------------- /src/Control/Selective/Rigid/Free.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/src/Control/Selective/Rigid/Free.hs -------------------------------------------------------------------------------- /src/Control/Selective/Rigid/Freer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/src/Control/Selective/Rigid/Freer.hs -------------------------------------------------------------------------------- /src/Control/Selective/Trans/Except.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/src/Control/Selective/Trans/Except.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/Laws.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/test/Laws.hs -------------------------------------------------------------------------------- /test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/test/Main.hs -------------------------------------------------------------------------------- /test/Sketch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/test/Sketch.hs -------------------------------------------------------------------------------- /test/Test.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/snowleopard/selective/HEAD/test/Test.hs --------------------------------------------------------------------------------