issues
search
joshvera
/
effects
An implementation of "Freer Monads, More Extensible Effects".
Other
20
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add NFData instance for Resumable's SomeExc type.
#69
patrickt
closed
6 years ago
0
Implement a Resource effect and remove broken `bracket`.
#68
patrickt
closed
6 years ago
0
Efficient effect handling
#67
robrix
closed
6 years ago
0
Inline all the things
#66
robrix
closed
6 years ago
0
Apply local’s effects locally-only.
#65
robrix
closed
6 years ago
0
Apply to q instead of k
#64
joshvera
closed
6 years ago
0
msplit should be a higher-order effect
#63
robrix
opened
6 years ago
0
Generalize bracket to PureEffects.
#62
robrix
closed
6 years ago
0
Stateless effect handlers
#61
robrix
closed
6 years ago
0
Type-aligned sequences
#60
robrix
closed
6 years ago
2
Higher-order effects can’t be type-constrained
#59
robrix
closed
6 years ago
4
Fix NonDet, take two
#58
robrix
closed
6 years ago
1
[WIP] Continuation frustration
#57
robrix
closed
6 years ago
1
Fix NonDet
#56
joshvera
closed
6 years ago
0
Fix interposition
#55
robrix
closed
6 years ago
0
Role annotation
#54
robrix
closed
6 years ago
0
Higher-order effects
#53
robrix
closed
6 years ago
5
The inferred type roles for Union (and therefore Eff) are wrong
#52
robrix
closed
6 years ago
0
Recursive type families are not our friends
#51
robrix
closed
6 years ago
1
Add handlers for exceptions thrown in IO.
#50
patrickt
closed
6 years ago
0
Members constraints lead to slow compiles
#49
robrix
closed
6 years ago
0
[WIP] Relay anywhere in the list
#48
robrix
closed
6 years ago
1
Interposing is ignorant of other effect handlers
#47
robrix
closed
6 years ago
3
Refinement
#46
robrix
closed
6 years ago
3
Make runPrintingTrace output to stderr.
#45
patrickt
closed
6 years ago
1
runPrintingTrace should go to stderr instead of stdout
#44
robrix
closed
6 years ago
1
Effectful
#43
robrix
closed
6 years ago
0
[WIP] Different type aligned queue representation
#42
robrix
closed
6 years ago
1
Add a travis CI build
#41
joshvera
closed
6 years ago
2
Reinterpret handler
#40
robrix
closed
6 years ago
0
Recursive membership constraints
#39
robrix
closed
6 years ago
2
🔥 Apply
#38
robrix
closed
6 years ago
0
CI
#37
robrix
closed
6 years ago
0
🔥 the membership operator
#36
robrix
closed
6 years ago
1
Membership constraints can’t be used to deduce other membership constraints
#35
robrix
closed
6 years ago
2
Interpose state
#34
robrix
closed
6 years ago
0
Export effect constructors
#33
robrix
closed
6 years ago
0
Add prettier type errors for ElemIndex failures.
#32
patrickt
closed
6 years ago
1
Composite interpreters
#31
robrix
closed
6 years ago
0
Benchmark FTCQueue against FastCatQueue
#30
robrix
opened
6 years ago
1
State and Reader improvements
#29
robrix
closed
6 years ago
1
Convert Resumable to take a * -> *
#28
joshvera
closed
6 years ago
0
Add Resumable effect
#27
joshvera
closed
6 years ago
1
Investigate whether we need a strict version of `modify`.
#26
patrickt
closed
6 years ago
1
Introduce the MonadNonDet capability on top of NonDetEff.
#25
patrickt
closed
6 years ago
1
Fix the local state function
#24
joshvera
closed
6 years ago
0
Use -XAllowAmbiguousTypes & -XTypeApplications instead of Proxy for Apply
#23
robrix
closed
6 years ago
1
Add embedded effect
#22
joshvera
closed
6 years ago
0
Port Embeddable effect
#21
joshvera
closed
6 years ago
0
Port makeFreer from TaktInc/freer for makeEff
#20
joshvera
closed
6 years ago
0
Next