joshvera/effects issues and pull requests

#69 - Add NFData instance for Resumable's SomeExc type.

Pull Request - State: closed - Opened by patrickt over 6 years ago

#69 - Add NFData instance for Resumable's SomeExc type.

Pull Request - State: closed - Opened by patrickt over 6 years ago

#68 - Implement a Resource effect and remove broken `bracket`.

Pull Request - State: closed - Opened by patrickt over 6 years ago

#68 - Implement a Resource effect and remove broken `bracket`.

Pull Request - State: closed - Opened by patrickt over 6 years ago

#67 - Efficient effect handling

Pull Request - State: closed - Opened by robrix over 6 years ago

#67 - Efficient effect handling

Pull Request - State: closed - Opened by robrix over 6 years ago

#66 - Inline all the things

Pull Request - State: closed - Opened by robrix over 6 years ago

#66 - Inline all the things

Pull Request - State: closed - Opened by robrix over 6 years ago

#65 - Apply local’s effects locally-only.

Pull Request - State: closed - Opened by robrix over 6 years ago

#65 - Apply local’s effects locally-only.

Pull Request - State: closed - Opened by robrix over 6 years ago

#64 - Apply to q instead of k

Pull Request - State: closed - Opened by joshvera over 6 years ago

#64 - Apply to q instead of k

Pull Request - State: closed - Opened by joshvera over 6 years ago

#63 - msplit should be a higher-order effect

Issue - State: open - Opened by robrix over 6 years ago
Labels: bug

#63 - msplit should be a higher-order effect

Issue - State: open - Opened by robrix over 6 years ago
Labels: bug

#62 - Generalize bracket to PureEffects.

Pull Request - State: closed - Opened by robrix over 6 years ago

#61 - Stateless effect handlers

Pull Request - State: closed - Opened by robrix over 6 years ago

#61 - Stateless effect handlers

Pull Request - State: closed - Opened by robrix over 6 years ago

#60 - Type-aligned sequences

Pull Request - State: closed - Opened by robrix over 6 years ago - 2 comments

#59 - Higher-order effects can’t be type-constrained

Issue - State: closed - Opened by robrix over 6 years ago - 4 comments
Labels: bug

#59 - Higher-order effects can’t be type-constrained

Issue - State: closed - Opened by robrix over 6 years ago - 4 comments
Labels: bug

#58 - Fix NonDet, take two

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#57 - [WIP] Continuation frustration

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#57 - [WIP] Continuation frustration

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#56 - Fix NonDet

Pull Request - State: closed - Opened by joshvera over 6 years ago

#56 - Fix NonDet

Pull Request - State: closed - Opened by joshvera over 6 years ago

#55 - Fix interposition

Pull Request - State: closed - Opened by robrix over 6 years ago

#55 - Fix interposition

Pull Request - State: closed - Opened by robrix over 6 years ago

#54 - Role annotation

Pull Request - State: closed - Opened by robrix over 6 years ago

#54 - Role annotation

Pull Request - State: closed - Opened by robrix over 6 years ago

#53 - Higher-order effects

Pull Request - State: closed - Opened by robrix over 6 years ago - 5 comments

#53 - Higher-order effects

Pull Request - State: closed - Opened by robrix over 6 years ago - 5 comments

#52 - The inferred type roles for Union (and therefore Eff) are wrong

Issue - State: closed - Opened by robrix over 6 years ago
Labels: bug

#52 - The inferred type roles for Union (and therefore Eff) are wrong

Issue - State: closed - Opened by robrix over 6 years ago
Labels: bug

#51 - Recursive type families are not our friends

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#51 - Recursive type families are not our friends

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#50 - Add handlers for exceptions thrown in IO.

Pull Request - State: closed - Opened by patrickt over 6 years ago

#49 - Members constraints lead to slow compiles

Issue - State: closed - Opened by robrix over 6 years ago
Labels: bug

#49 - Members constraints lead to slow compiles

Issue - State: closed - Opened by robrix over 6 years ago
Labels: bug

#48 - [WIP] Relay anywhere in the list

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#48 - [WIP] Relay anywhere in the list

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#47 - Interposing is ignorant of other effect handlers

Issue - State: closed - Opened by robrix over 6 years ago - 3 comments
Labels: bug

#47 - Interposing is ignorant of other effect handlers

Issue - State: closed - Opened by robrix over 6 years ago - 3 comments
Labels: bug

#46 - Refinement

Pull Request - State: closed - Opened by robrix over 6 years ago - 3 comments

#46 - Refinement

Pull Request - State: closed - Opened by robrix over 6 years ago - 3 comments

#45 - Make runPrintingTrace output to stderr.

Pull Request - State: closed - Opened by patrickt over 6 years ago - 1 comment

#45 - Make runPrintingTrace output to stderr.

Pull Request - State: closed - Opened by patrickt over 6 years ago - 1 comment

#44 - runPrintingTrace should go to stderr instead of stdout

Issue - State: closed - Opened by robrix over 6 years ago - 1 comment
Labels: bug, help wanted

#44 - runPrintingTrace should go to stderr instead of stdout

Issue - State: closed - Opened by robrix over 6 years ago - 1 comment
Labels: bug, help wanted

#43 - Effectful

Pull Request - State: closed - Opened by robrix over 6 years ago

#42 - [WIP] Different type aligned queue representation

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#42 - [WIP] Different type aligned queue representation

Pull Request - State: closed - Opened by robrix over 6 years ago - 1 comment

#41 - Add a travis CI build

Pull Request - State: closed - Opened by joshvera almost 7 years ago - 2 comments

#41 - Add a travis CI build

Pull Request - State: closed - Opened by joshvera almost 7 years ago - 2 comments

#40 - Reinterpret handler

Pull Request - State: closed - Opened by robrix almost 7 years ago

#40 - Reinterpret handler

Pull Request - State: closed - Opened by robrix almost 7 years ago

#39 - Recursive membership constraints

Pull Request - State: closed - Opened by robrix almost 7 years ago - 2 comments

#39 - Recursive membership constraints

Pull Request - State: closed - Opened by robrix almost 7 years ago - 2 comments

#38 - 🔥 Apply

Pull Request - State: closed - Opened by robrix almost 7 years ago

#38 - 🔥 Apply

Pull Request - State: closed - Opened by robrix almost 7 years ago

#37 - CI

Issue - State: closed - Opened by robrix almost 7 years ago
Labels: help wanted

#37 - CI

Issue - State: closed - Opened by robrix almost 7 years ago
Labels: help wanted

#36 - 🔥 the membership operator

Pull Request - State: closed - Opened by robrix almost 7 years ago - 1 comment

#36 - 🔥 the membership operator

Pull Request - State: closed - Opened by robrix almost 7 years ago - 1 comment

#35 - Membership constraints can’t be used to deduce other membership constraints

Issue - State: closed - Opened by robrix almost 7 years ago - 2 comments
Labels: bug

#35 - Membership constraints can’t be used to deduce other membership constraints

Issue - State: closed - Opened by robrix almost 7 years ago - 2 comments
Labels: bug

#34 - Interpose state

Pull Request - State: closed - Opened by robrix almost 7 years ago

#34 - Interpose state

Pull Request - State: closed - Opened by robrix almost 7 years ago

#33 - Export effect constructors

Pull Request - State: closed - Opened by robrix almost 7 years ago

#32 - Add prettier type errors for ElemIndex failures.

Pull Request - State: closed - Opened by patrickt almost 7 years ago - 1 comment

#31 - Composite interpreters

Pull Request - State: closed - Opened by robrix almost 7 years ago

#30 - Benchmark FTCQueue against FastCatQueue

Issue - State: open - Opened by robrix almost 7 years ago - 1 comment
Labels: help wanted

#29 - State and Reader improvements

Pull Request - State: closed - Opened by robrix almost 7 years ago - 1 comment

#28 - Convert Resumable to take a * -> *

Pull Request - State: closed - Opened by joshvera almost 7 years ago

#27 - Add Resumable effect

Pull Request - State: closed - Opened by joshvera almost 7 years ago - 1 comment

#26 - Investigate whether we need a strict version of `modify`.

Issue - State: closed - Opened by patrickt almost 7 years ago - 1 comment

#25 - Introduce the MonadNonDet capability on top of NonDetEff.

Pull Request - State: closed - Opened by patrickt almost 7 years ago - 1 comment

#24 - Fix the local state function

Pull Request - State: closed - Opened by joshvera almost 7 years ago

#23 - Use -XAllowAmbiguousTypes & -XTypeApplications instead of Proxy for Apply

Issue - State: closed - Opened by robrix almost 7 years ago - 1 comment

#22 - Add embedded effect

Pull Request - State: closed - Opened by joshvera almost 7 years ago

#21 - Port Embeddable effect

Issue - State: closed - Opened by joshvera almost 7 years ago

#20 - Port makeFreer from TaktInc/freer for makeEff

Pull Request - State: closed - Opened by joshvera almost 7 years ago

#19 - Export Member and Members constraints

Pull Request - State: closed - Opened by joshvera almost 7 years ago

#18 - Bump LTS version

Pull Request - State: closed - Opened by joshvera about 7 years ago

#17 - Inline apply

Pull Request - State: closed - Opened by robrix over 7 years ago - 1 comment

#16 - Non-recursive index computation

Pull Request - State: closed - Opened by robrix over 7 years ago

#15 - Ord(1) instances for Union

Pull Request - State: closed - Opened by tclem over 7 years ago - 1 comment

#14 - Unrolled Union instances

Pull Request - State: closed - Opened by robrix over 7 years ago - 4 comments

#13 - Fail effect

Pull Request - State: closed - Opened by robrix over 7 years ago

#12 - Templated Union instances

Pull Request - State: closed - Opened by robrix over 7 years ago

#11 - Test Union instances

Pull Request - State: closed - Opened by robrix over 7 years ago - 1 comment

#10 - Fix redundant constraints, improve instances, export Apply{0,1}

Pull Request - State: closed - Opened by robrix over 7 years ago - 3 comments

#9 - More tractable Union instances

Pull Request - State: closed - Opened by robrix over 7 years ago - 1 comment

#8 - Union instances

Pull Request - State: closed - Opened by robrix over 7 years ago - 1 comment

#7 - Make <*> lazy in its second argument where possible.

Pull Request - State: closed - Opened by robrix about 8 years ago - 1 comment

#6 - fix: remove dead name

Pull Request - State: closed - Opened by queertypes about 8 years ago - 1 comment

#5 - Update README: qApp -> apply

Pull Request - State: closed - Opened by robrix about 8 years ago - 1 comment

#4 - Rename internal functions for readability

Pull Request - State: closed - Opened by joshvera over 8 years ago

#3 - Add some docs

Pull Request - State: closed - Opened by joshvera over 8 years ago - 1 comment

#2 - Move NonDetEff to its own module

Pull Request - State: closed - Opened by joshvera over 8 years ago

#1 - Update the Open Union implementation to OpenUnion51.hs

Pull Request - State: closed - Opened by joshvera over 8 years ago

GitHub / joshvera/effects issues and pull requests