mirror of
https://github.com/polysemy-research/polysemy.git
synced 2024-12-03 21:13:10 +03:00
bba49aaeb8
This PR introduces the FCF machinery that will give us more control over writing type-level functions. It defines an IfStuck a b c tyfam that will leave b around if a is stuck, otherwise it will fcf-evaluate c. Everything is polykinded so we can stack these things together to make big logic chains to emit specific variables depending on what exactly is stuck.
17 lines
240 B
YAML
17 lines
240 B
YAML
resolver: lts-13.0
|
|
|
|
packages:
|
|
- .
|
|
- polysemy-plugin
|
|
|
|
extra-deps:
|
|
- aeson-1.4.3.0
|
|
- bifunctors-5.5.4
|
|
- dump-core-0.1.3.2
|
|
- first-class-families-0.5.0.0
|
|
- ghc-lib-0.20190204
|
|
- inspection-testing-0.4.2
|
|
- monadLib-3.9
|
|
- th-abstraction-0.3.1.0
|
|
|