issues
search
tweag
/
capability
Extensional capabilities and deriving combinators
BSD 3-Clause "New" or "Revised" License
214
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump version bound for lens
#107
aherrmann
closed
4 months ago
0
Bump version bounds for constraints and primitive
#106
aherrmann
closed
10 months ago
1
Capability focusing using lens?
#105
andrevidela
opened
1 year ago
4
Bump version bound on primitive
#104
aherrmann
closed
1 year ago
0
Bump version bound on lens
#103
aherrmann
closed
2 years ago
0
Release 0.5.0.1
#102
aherrmann
closed
2 years ago
0
An alternative way of managing effects in `capability`
#101
re-xyr
closed
2 years ago
4
`listen` and `pass` breaks on error or with concurrency
#100
re-xyr
opened
3 years ago
10
Is `derive` safe?
#99
re-xyr
closed
3 years ago
6
Running effects locally
#98
re-xyr
closed
3 years ago
13
Release 0.5.0.0
#97
aherrmann
closed
3 years ago
0
Compatibility with GHC 9.0
#96
aspiwack
closed
3 years ago
0
Add github-action based continuous integration
#95
aspiwack
closed
3 years ago
1
Add `censor` function to Capability.Writer
#94
byorgey
closed
3 years ago
1
Enclosing call to 'local' resets accumulated Writer value when the values share a record
#93
byorgey
opened
3 years ago
3
Benchmark for Capability V.S. other effect handling libraries
#92
Ailrun
opened
3 years ago
2
Bump version bounds
#91
aherrmann
closed
3 years ago
1
reader --> source in HasSource haddocks
#90
aherrmann
closed
3 years ago
0
Adding missing HasSource / HasSink to documentation example
#89
gdeest
closed
3 years ago
1
Release 0.4.0.0
#88
aherrmann
closed
3 years ago
0
Fix the visible type arguments of proxy#
#87
aspiwack
closed
3 years ago
0
Implement reflection for ad-hoc interpreters
#86
aherrmann
closed
4 years ago
0
Fix loop in Capability.HasWriter.writer
#85
aherrmann
closed
4 years ago
0
Update Nix shell section in README
#84
aherrmann
closed
4 years ago
0
Preparing for release: api and documentation
#83
aspiwack
closed
4 years ago
1
Use the new buildkite setup for CI
#82
mrkkrp
closed
4 years ago
2
Cannot Lift through Stream
#81
aherrmann
opened
4 years ago
12
Release version 0.3.0.0
#80
aherrmann
closed
4 years ago
0
Support nightly-2020-01-05 (GHC 8.8)
#79
aherrmann
closed
4 years ago
0
GHC 8.8 compatible version
#78
Avi-D-coder
closed
4 years ago
0
Use LTS resolver instead of nightly
#77
curiousleo
closed
5 years ago
0
Fix CI errors due to warnings
#76
aherrmann
closed
5 years ago
0
Introduce HasSource, and make superclasses
#75
Ericson2314
closed
5 years ago
3
Allow arbitrary capability derivations
#74
gdeest
closed
5 years ago
0
Capability-retaining `zoom` and `magnify`
#73
gdeest
closed
5 years ago
1
Introducing `TypeOf` type family
#72
gdeest
closed
5 years ago
1
Removing spurious tag ~ field constraints
#71
gdeest
closed
5 years ago
5
Pin nixpkgs in nix2 style
#70
MIJOTHY
closed
5 years ago
0
`nix-shell` fails
#69
MIJOTHY
closed
5 years ago
2
Release version 0.2.0.0
#68
aherrmann
closed
5 years ago
0
Relax a restriction of generic-lens
#67
mizunashi-mana
closed
5 years ago
0
Update README.md with Hackage link
#66
danieljharvey
closed
5 years ago
1
Associate type to tags
#65
aspiwack
closed
5 years ago
2
Make `HasStream` a super class of `HasWriter`
#64
Ericson2314
closed
5 years ago
5
Elimination methods in classes should be moved
#63
Ericson2314
closed
5 years ago
10
Update changelog and metadata
#62
aherrmann
closed
6 years ago
0
Update blog date
#61
aherrmann
closed
6 years ago
0
Cabal check
#60
aherrmann
closed
6 years ago
0
Simplify export lists
#59
mboes
closed
6 years ago
0
Add metadata and version bounds to the cabal file
#58
mrkkrp
closed
6 years ago
0
Next