haskell-effectful/effectful
1
1
Fork 0
mirror of https://github.com/haskell-effectful/effectful.git synced 2024-11-30 03:20:03 +03:00
Code Issues Projects Releases Wiki Activity
178 Commits 8 Branches 39 Tags 5.5 MiB
2496ef3dd9
Commit Graph

178 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Andrzej Rybczak
2496ef3dd9 Fix CI 2021-07-31 20:13:23 +02:00
Andrzej Rybczak
4137f878db Add a logo 2021-07-31 20:04:31 +02:00
Andrzej Rybczak
8f37f3f79e Less unsafe functions, document unsafeness 2021-07-31 20:04:31 +02:00
Andrzej Rybczak
a9516ac93d Documentation 2021-07-31 20:04:31 +02:00
Andrzej Rybczak
115aa0a486 Re-export MonadIO and MonadUnliftIO 2021-07-31 20:04:31 +02:00
Mann mit Hut
f3c7e00cbb
Added Process effect (#25) 
* Added Process effect based on process package

* Fixed Haddock: typed-process -> process
 2021-07-29 16:50:33 +02:00
Andrzej Rybczak
3b5a7c0337 Make unsafeTailEnv return nothing 2021-07-29 02:04:44 +02:00
Andrzej Rybczak
f68ee23532 Turn off StrictData and make fields lazy where appropriate 2021-07-29 00:09:56 +02:00
Andrzej Rybczak
bd280b40ad Bump versions to 0.1 2021-07-28 23:19:11 +02:00
Andrzej Rybczak
dcba309d0f Write signatures down without the HasCallStack constraint 2021-07-28 21:05:57 +02:00
Andrzej Rybczak
a0f47ae558 Make runHandler work in Eff 2021-07-27 20:31:02 +02:00
Andrzej Rybczak
a7bc404998 Add the EffectHandler type synonym 2021-07-27 19:36:17 +02:00
Andrzej Rybczak
03663205ea Rename EnvRefCache to EnvRefStore 2021-07-27 14:31:56 +02:00
Andrzej Rybczak
30a2855842 Add low level InternalState API to Effectful.Resource 2021-07-26 20:15:07 +02:00
Andrzej Rybczak
50cdcbf9e0 Add Effectful.Prim 2021-07-26 17:04:05 +02:00
Andrzej Rybczak
04f427d5ff Clarify note for unsafeConsEnv 2021-07-26 15:59:31 +02:00
Andrzej Rybczak
c851bda0bd unsafe{Put,State,Modify}Env are safe 2021-07-26 15:35:17 +02:00
Andrzej Rybczak
96b2bb3498 Better GADT signatures 2021-07-26 15:13:50 +02:00
Andrzej Rybczak
5cb1e35a89 Adjust order of arguments in Env functions and remove readerEffectM 2021-07-26 15:08:23 +02:00
Mann mit Hut
f0bf1e49db
Split effectful package (#27) 
* Moved effectful library to a subdirectory

* Initial commit of the effectful-core library

* Removed tests/benchmarks/examples from effectful-core package

* Removed READMEs from packages

* Updated CI

* Refactored doctest script

This is a bit closer to the CI setup.

* Adjusted dependencies

* Updated README

* Updated the package descriptions

* Added examples to test suite
 2021-07-25 15:18:35 +02:00
Andrzej Rybczak
d4eb837a2d Fix doctest 2021-07-25 12:22:29 +02:00
Andrzej Rybczak
c25e672d6f Merge (re)interpret and (re)interpretM 
Fixes #26.
 2021-07-25 12:17:38 +02:00
Andrzej Rybczak
f4a8defee9 Simplify type signatures of (re)interpret 2021-07-16 21:23:55 +02:00
Andrzej Rybczak
7e72f9d2f1 Small documentation adjustments 2021-07-16 18:24:59 +02:00
Andrzej Rybczak
99bdb5c468 Allow polysemy with GHC 9.0 2021-07-16 18:03:30 +02:00
Andrzej Rybczak
dce85587c1 Use undefinedData instead of repeating error "undefined field" 2021-07-16 17:40:59 +02:00
Andrzej Rybczak
727ddbb12a Replace link to hackage with current documentation for now 2021-07-16 14:09:53 +02:00
Andrzej Rybczak
ace82eddc7 Add withEffToIO 2021-07-15 17:59:22 +02:00
Andrzej Rybczak
85015a4a08 Adjustments to Error effect 
Prelude for runError2, runError3 etc.
 2021-07-15 17:59:18 +02:00
Andrzej Rybczak
b6441e1a9b Remove stm dependency 2021-07-15 17:02:12 +02:00
Andrzej Rybczak
408bd829ae Accurate argument name 2021-07-14 15:41:33 +02:00
Andrzej Rybczak
f9bc460236 Add HasCallStack to (un)lifting functions 
Now if an unlifting function fails due to insufficient limit, you'll get a nice
call stack that allows to track the origin of the problem easily.
 2021-07-14 15:20:26 +02:00
Andrzej Rybczak
69350a46e4 Expose constructors of dynamic Reader 2021-07-14 13:48:43 +02:00
Andrzej Rybczak
f91bfc0686 Fix criterion imports 2021-07-13 14:57:23 +02:00
Andrzej Rybczak
c7831ff268 Add a dynamic version of Reader 2021-07-13 13:40:10 +02:00
Andrzej Rybczak
8cd8c32f49 Add HasCallStack to operations and re-export utils from GHC.Stack 2021-07-13 13:40:07 +02:00
Andrzej Rybczak
1b8a56b34b Fix the FileSystem example 2021-07-13 13:27:50 +02:00
Andrzej Rybczak
5ec68161ed Rename run to unlift 2021-07-13 03:13:38 +02:00
Andrzej Rybczak
7c55fe0c8f Remove INLINABLE pragmas from catch and genericBracket 2021-07-12 23:41:41 +02:00
Andrzej Rybczak
3f78b20c8d Add a dynamic version of Error 2021-07-12 20:51:40 +02:00
Andrzej Rybczak
cee28d5c51 Rename Pure/MVar to Local/Shared 2021-07-12 20:11:12 +02:00
Andrzej Rybczak
48138ff547 Rename effect interpreters to effect handlers 2021-07-12 18:00:32 +02:00
Andrzej Rybczak
91e64bfc23 Provide a complete set of (un)lifts for dealing with local operations 2021-07-12 17:44:25 +02:00
Mann mit Hut
d69f65d3da
Reexport PrimE effect in Effectful.Monad (#22) 
* Reexport PrimE effect

* Renamed PrimE to Prim
 2021-07-12 15:51:25 +02:00
Andrzej Rybczak
8057cdcf5f Remove Effectful.STM for now 2021-07-11 22:35:22 +02:00
Andrzej Rybczak
f58694cc04 Fix doctest 2021-07-11 22:33:04 +02:00
Andrzej Rybczak
043bffe2ad Rename actions to operations 2021-07-11 22:17:39 +02:00
Andrzej Rybczak
18226c74a3 Rename runIOE to runEff and runEff to runPureEff 2021-07-11 22:06:36 +02:00
Andrzej Rybczak
d0a8a419a5 Prefer MonadIO to MonadBase and MonadUnliftIO to MonadBaseControl 2021-07-11 22:03:30 +02:00
Andrzej Rybczak
2d259c3f95 Improve argument names and documentation for unlifting functions 2021-07-11 21:18:35 +02:00