Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / lambdageek/unbound-generics issues and pull requests

#65 - Prepare 0.4.4

Pull Request - State: closed - Opened by lambdageek 11 months ago

#64 - update from haskell/actions/setup to haskell-actions/setup

Pull Request - State: closed - Opened by lambdageek 11 months ago

#63 - Bump containers to allow 0.7

Pull Request - State: closed - Opened by lambdageek 11 months ago

#62 - Add `Alpha` and `Subst` instances for `NonEmpty`

Pull Request - State: closed - Opened by byorgey 11 months ago - 1 comment

#61 - subst captures variables when substitution is with a bound variable

Issue - State: open - Opened by liesnikov about 1 year ago - 3 comments

#60 - Expose GSubst module within Internal

Pull Request - State: closed - Opened by liesnikov over 1 year ago

#59 - Bumped ansi-wl-pprint to 1.0.2 and everything seems to build fine.

Pull Request - State: closed - Opened by erlandsona over 1 year ago - 2 comments

#57 - prepare release 0.4.3

Pull Request - State: closed - Opened by lambdageek almost 2 years ago

#56 - allow building with transformers >= 0.6

Pull Request - State: closed - Opened by lambdageek almost 2 years ago

#55 - Help Wanted: Looking for co-maintainer

Issue - State: open - Opened by lambdageek almost 2 years ago - 8 comments
Labels: help wanted

#54 - Support transformers >= 0.6.0.0

Issue - State: closed - Opened by lambdageek almost 2 years ago - 1 comment
Labels: enhancement, help wanted

#53 - Bump CI to GHC 9.4 and latest actions, limit transformers < 0.6

Pull Request - State: closed - Opened by andreasabel almost 2 years ago - 4 comments

#52 - Fix example in README

Pull Request - State: closed - Opened by noughtmare about 2 years ago - 1 comment

#51 - README example doesn't compile with recent GHC

Issue - State: closed - Opened by noughtmare about 2 years ago

#50 - unbind2Plus doesn't work with two different pattern types

Issue - State: open - Opened by liesnikov over 2 years ago - 1 comment
Labels: bug

#48 - Cherrypick `instantiate` from sweirich's branch

Issue - State: closed - Opened by lambdageek over 2 years ago - 1 comment
Labels: enhancement

#47 - master->main

Pull Request - State: closed - Opened by lambdageek almost 3 years ago

#46 - Prepare 0.4.2 release

Pull Request - State: closed - Opened by lambdageek almost 3 years ago

#45 - import MonadPlus and MonadFix explicitly

Pull Request - State: closed - Opened by lambdageek almost 3 years ago

#44 - Build failure with mtl-2.3

Issue - State: closed - Opened by sjakobi almost 3 years ago

#43 - Implement `substBind` function

Pull Request - State: closed - Opened by lambdageek over 4 years ago - 2 comments

#42 - Add Github Actions based CI

Pull Request - State: closed - Opened by lambdageek over 4 years ago

#41 - test

Issue - State: closed - Opened by lambdageek over 4 years ago

#40 - Add functor instance for Exchange

Pull Request - State: closed - Opened by emilypi over 4 years ago - 1 comment

#39 - Allow name representations other than String

Issue - State: open - Opened by ocecaco over 5 years ago - 3 comments
Labels: enhancement, requires-api-break

#38 - Add `Read` instances for names and binder or how to derive it

Issue - State: open - Opened by ksenia-portu over 5 years ago - 1 comment
Labels: enhancement, help wanted, question

#37 - Removed Show superclass of Alpha

Pull Request - State: open - Opened by Jashweii almost 6 years ago
Labels: requires-api-break

#36 - Remove Show superclass on Alpha

Issue - State: open - Opened by Jashweii almost 6 years ago - 1 comment
Labels: requires-api-break

#35 - typo

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

#34 - Bump for 0.3.4

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

#33 - Test with GHC 8.6.1

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

#32 - [0.3.x] Bump containers for GHC-8.6.1

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

#31 - Support for capturing substitution

Issue - State: open - Opened by TOTBWF over 6 years ago - 2 comments

#30 - Add Ignore annotation

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

#29 - Bump for GHC 8.6.1

Issue - State: closed - Opened by lambdageek over 6 years ago - 2 comments

#28 - Borrow good ideas from moniker

Issue - State: open - Opened by lambdageek over 6 years ago - 1 comment
Labels: enhancement

#27 - [WIP] Fix traversal termination on non-leaf variables

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

#26 - Substitution should continue traversing even when the variables do not match

Issue - State: closed - Opened by TOTBWF over 6 years ago - 1 comment

#25 - Use `Data.Map.foldr` instead of `Data.Map.fold`

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

#24 - Bump exceptions upper bound to < 0.11

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

#23 - GHC-7.6.3: Try to fix build

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

#22 - What does Embed really do?

Issue - State: closed - Opened by mrkgnao about 7 years ago - 2 comments
Labels: question

#21 - Add stack support

Pull Request - State: closed - Opened by TOTBWF about 7 years ago - 1 comment

#20 - Add instances for Monads defined in exceptions

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

#19 - Unification function

Issue - State: open - Opened by Lysxia over 7 years ago - 2 comments
Labels: question

#18 - [ghc-7.6] older GHC doesn't like newer deps

Pull Request - State: closed - Opened by lambdageek almost 8 years ago

#17 - Nanevski hack

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

#16 - Add `substBind` operation like `unbound` recently did

Issue - State: closed - Opened by lambdageek about 9 years ago - 9 comments
Labels: enhancement, feature-parity

#15 - Add a Gitter chat badge to README.md

Pull Request - State: closed - Opened by gitter-badger over 9 years ago

#14 - Add `Hashable` instances for names and binder combinators

Issue - State: open - Opened by lambdageek over 9 years ago
Labels: enhancement

#13 - unbound-generics-0.1.2 won't compile with GHC 7.10.x

Issue - State: closed - Opened by peti almost 10 years ago

#12 - Variant of `makeClosedAlpha` that works for type constructors.

Issue - State: open - Opened by lambdageek almost 10 years ago
Labels: enhancement

#11 - Add 'acompare' - an alpha-respecting total order on terms including binders

Pull Request - State: closed - Opened by christiaanb almost 10 years ago - 1 comment

#10 - Expose GAlpha methods

Pull Request - State: closed - Opened by christiaanb almost 10 years ago - 3 comments

#9 - Unconditionally add ExceptT instances using transformers-compat

Pull Request - State: closed - Opened by bergmark about 10 years ago

#8 - Some kind of local scope in pattern bindings

Issue - State: open - Opened by lambdageek about 10 years ago
Labels: enhancement

#7 - Measure performance of locally nameless representation.

Issue - State: open - Opened by lambdageek over 10 years ago
Labels: enhancement

#6 - Variable capture when substituting in `Rebind` patterns

Issue - State: open - Opened by lambdageek over 10 years ago - 1 comment
Labels: bug

#5 - Implement a nominal version of the library.

Issue - State: open - Opened by lambdageek over 10 years ago
Labels: enhancement

#4 - ported LC example from unbound

Pull Request - State: closed - Opened by lambdageek over 10 years ago - 2 comments

#3 - Copy tickets from Unbound's Google Code bug tracker.

Issue - State: open - Opened by lambdageek over 10 years ago - 1 comment
Labels: bug, enhancement, feature-parity

#2 - SetBind, SetPlusBind...

Issue - State: open - Opened by lambdageek over 10 years ago
Labels: enhancement, feature-parity

#1 - Making Alpha instances for Opaque types is harder than with Unbound/RepLib

Issue - State: closed - Opened by lambdageek over 10 years ago
Labels: enhancement, feature-parity