polysemy-research/polysemy
1
1
Fork 0
mirror of https://github.com/polysemy-research/polysemy.git synced 2024-12-03 13:05:09 +03:00
Code Issues Projects Releases Wiki Activity
386 Commits 6 Branches 12 Tags 2 MiB
93f8054e05
Commit Graph

3 Commits

Author SHA1 Message Date
Georgi Lyubenov
48b6768ad4 Rename Lift to Embed (#161) 
* Move Polysemy.Internal.Lift to Polysemy.Lift.Type

* Add Polysemy.Lift module and runLift interpreter

* Add a Sandy reminder

* Add explicit foralls and split type signature

* Fix import spacing, for there is no "qualified"

* Implement runIO in terms of runLift

* Rename Lift -> Embed

* Replace sendM with embed

* Add a Sandy todo for embed version

* Rename runEmbed and related runEmbedded (from IO)

* runEmbedded -> runEmbeddedInIO
* runEmbed -> runEmbedded

* Update cabal
 2019-07-11 11:02:26 -04:00
Sandy Maguire
82f86add29
Custom type error testing (#113) 
This PR adds doctests allowing us to write tests for the custom type errors. Having this stuff reified in the test suite means we can iterate on the implementations and give much better QA.
 2019-06-15 20:04:11 -04:00
Sandy Maguire
63b1f4257f
GetInspectorT (#71) 
* Evacuation wip

* Two other uses of weave

* Evacuator -> Inspector

* Inspector test
 2019-05-31 00:06:46 -04:00