ekmett/bound issues and pull requests

#91 - Add GHC-9.8 and 9.10 to CI setup

Pull Request - State: closed - Opened by phadej 2 months ago

#90 - Add predicate to substitute functions

Issue - State: open - Opened by Icelandjack over 1 year ago - 2 comments

#89 - Make `Simple` example build with `base-4.18.*` (GHC 9.6)

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

#88 - Use TemplateHaskellQuotes (not TemplateHaskell) on GHC 9.0+

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

#87 - Use GHC 8.0 as the minimum

Pull Request - State: closed - Opened by RyanGlScott almost 3 years ago - 2 comments

#86 - Enforce the `template-haskell` `cabal` flag properly

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

#85 - The `template-haskell` `cabal` flag doesn't do anything

Issue - State: closed - Opened by RyanGlScott almost 3 years ago - 5 comments

#84 - Drop functor-classes-compat dependency

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

#83 - The example use of `Bound.Name` is needed.

Issue - State: open - Opened by Heimdell over 3 years ago

#82 - Import Data.{List,Vector} qualified in Overkill example

Pull Request - State: closed - Opened by RyanGlScott over 3 years ago

#81 - Overkill tests failing to build on 8.10.3

Issue - State: closed - Opened by cdornan over 3 years ago - 3 comments

#80 - Use cabal-docspec

Pull Request - State: closed - Opened by phadej almost 4 years ago

#79 - Migrate to GitHub Actions

Pull Request - State: closed - Opened by phadej almost 4 years ago - 3 comments

#78 - Allow building with GHC 9.0

Pull Request - State: closed - Opened by RyanGlScott about 4 years ago

#77 - Should there be liftScope and should we remove MonadTrans Scope

Issue - State: closed - Opened by phadej about 4 years ago - 4 comments

#76 - Use not-simple Scope in Imperative.hs

Pull Request - State: closed - Opened by phadej about 4 years ago - 1 comment

#75 - `Imperative` example fails to compile

Issue - State: closed - Opened by b-mehta about 4 years ago - 3 comments

#74 - makeBound chokes on types containing tuples of constants

Issue - State: open - Opened by dfoxfranke over 5 years ago - 1 comment

#73 - WIP: Add Bound.ScopeT

Pull Request - State: closed - Opened by phadej about 6 years ago - 6 comments

#72 - Scope doesn't allow the outer constructor to differ from the constructor we abstract over

Issue - State: closed - Opened by sgraf812 about 6 years ago - 12 comments

#71 - Trouble implementing `Monad` instance when scoping more than one term

Issue - State: closed - Opened by Ptival over 6 years ago - 8 comments

#70 - bound + recursion schemes

Issue - State: open - Opened by csabahruska over 6 years ago - 4 comments

#69 - Mutually recursive expression types?

Issue - State: closed - Opened by mrkgnao over 6 years ago - 8 comments

#68 - Remembering the binder name when there is no occurrence

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

#67 - Fix typo in Bound.TH

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

#66 - Docfix: Bound instances are right monad modules

Pull Request - State: open - Opened by arkeet about 7 years ago - 5 comments

#65 - Errorenous documentation of `mapMBound`

Issue - State: open - Opened by ThreeFx over 7 years ago

#64 - `Scope`s with `Control.Lens.Plated` lead to infinite loop and space leak

Issue - State: closed - Opened by ThreeFx over 7 years ago - 3 comments

#63 - Fix #62, Don't use Warning module

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

#62 - bound-2 won't build with current `stack`

Issue - State: closed - Opened by ThreeFx over 7 years ago - 4 comments

#61 - Split bound to offer a lightweight version

Issue - State: closed - Opened by treeowl over 7 years ago - 5 comments

#60 - Get Travis to build successfully with 8.0, 8.2, and HEAD

Issue - State: closed - Opened by treeowl over 7 years ago - 1 comment

#59 - Add more generic instances

Pull Request - State: closed - Opened by treeowl over 7 years ago - 5 comments

#58 - Add abstraction functions

Pull Request - State: closed - Opened by treeowl over 7 years ago - 8 comments

#57 - Add MFunctor (Scope b) instance

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

#56 - Ghc 8.2 simple

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

#55 - Support ghc-8.2

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

#54 - Use functor-classes-compat to fix tests

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

#53 - Remove or explain mention of "ideal monad" from package introduction.

Issue - State: open - Opened by danidiaz over 7 years ago - 2 comments

#52 - instance MFunctor (Scope b)

Issue - State: closed - Opened by ollef over 7 years ago - 1 comment

#51 - This upgrades the `Setup.hs` harness to use `cabal-doctest`, making it

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

#50 - Build fails with GHC 7.8.4

Issue - State: closed - Opened by phadej over 7 years ago

#49 - Allow vector-0.12

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

#48 - vector-0.12 provides Eq1 etc instances, breaks Overkill.hs

Issue - State: closed - Opened by phadej over 7 years ago
Labels: bug

#47 - ListT instance smells funny

Issue - State: open - Opened by treeowl over 7 years ago - 2 comments

#46 - Add another abstract variant

Issue - State: closed - Opened by treeowl over 7 years ago - 2 comments

#45 - Allow vector-0.12

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

#44 - Use hashable-1.2.5.0 in place of hashable-extras

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

#43 - use hashable-1.2.5.0 Hashable1

Issue - State: closed - Opened by phadej over 7 years ago

#42 - makeBounds support other kinds then (* -> *)

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

#41 - Th functor

Pull Request - State: closed - Opened by phadej almost 8 years ago - 3 comments

#40 - makeBound fails when `Exp a` has functor component

Issue - State: closed - Opened by phadej almost 8 years ago - 2 comments

#39 - No prelude extras

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

#38 - Add note about non-existing 'Bound Free' instance

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

#37 - Eq1, Ord1, Show1, Read1 with ghc8

Issue - State: closed - Opened by reuleaux almost 8 years ago - 9 comments

#36 - Added deepseq and NFData instances

Pull Request - State: closed - Opened by sgraf812 almost 8 years ago - 2 comments

#35 - Example on how to use Bound.Name

Issue - State: closed - Opened by sgraf812 almost 8 years ago - 2 comments

#34 - Changed readme example to use deriving-compat

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

#33 - Revert "Hack to work with cabal HEAD in spite of haskell/cabal#3432"

Pull Request - State: closed - Opened by RyanGlScott about 8 years ago

#32 - Upload latest version to Hackage

Issue - State: closed - Opened by benjamin-hodgson over 8 years ago - 9 comments

#31 - recur on the right variable, fixes #30

Pull Request - State: closed - Opened by gelisam over 8 years ago - 2 comments

#30 - two wrongs make a right?

Issue - State: closed - Opened by gelisam over 8 years ago - 1 comment

#29 - instance Bound Free

Issue - State: closed - Opened by Icelandjack over 8 years ago - 3 comments

#28 - run the doctests from the Imperative example

Pull Request - State: closed - Opened by gelisam over 8 years ago - 7 comments

#27 - Some updates

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

#26 - how to use bound with imperative languages

Pull Request - State: closed - Opened by gelisam over 8 years ago - 5 comments

#25 - Update README.markdown example

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

#24 - Update deps, make travis green

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

#23 - Update link to "I am not a number: I am a free variable"

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

#22 - allow bound to use binary 0.8

Issue - State: closed - Opened by cartazio over 8 years ago - 1 comment

#21 - Fix haddock documentation for `makeBound`

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

#20 - documentation bug in Bound.Scope

Issue - State: closed - Opened by cartazio almost 9 years ago - 1 comment

#19 - canonical-AMP-warning avoidance

Pull Request - State: closed - Opened by hvr almost 9 years ago

#18 - Fix broken link to Augustsson's paper

Pull Request - State: closed - Opened by Rufflewind almost 9 years ago - 3 comments

#17 - Remove useless laziness I accidentally introduced

Pull Request - State: closed - Opened by treeowl about 9 years ago

#16 - Kill unsafeCoerce; convince GHC total

Pull Request - State: closed - Opened by treeowl about 9 years ago

#15 - Correct comments

Pull Request - State: closed - Opened by bixuanzju about 9 years ago

#14 - Fix dead link to Augustsson's paper.

Pull Request - State: closed - Opened by aloiscochard about 9 years ago - 1 comment

#13 - Added Bound.TH

Pull Request - State: closed - Opened by Icelandjack about 9 years ago - 5 comments

#12 - Minor release for new transformers?

Issue - State: closed - Opened by andy-morris almost 10 years ago - 2 comments

#11 - Bump dependency on transformers

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

#10 - Bound instances for all of 'transformers'.

Pull Request - State: closed - Opened by startling over 10 years ago

#9 - 'Scope b m' does not obey all monad laws for some monads m

Issue - State: closed - Opened by dkrejsa over 10 years ago - 4 comments

#8 - Fold the bound extensions in Ermine into either bound or bound-extras package

Issue - State: open - Opened by jfischoff over 10 years ago - 3 comments

#7 - Make the code in the README run as written.

Pull Request - State: closed - Opened by startling about 11 years ago

#6 - removed unneeded uses of Lift2

Pull Request - State: closed - Opened by Saizan about 11 years ago - 1 comment

#5 - Syntax highlighting in the README.

Pull Request - State: closed - Opened by supki about 11 years ago

#4 - fixed typo in Bound Docs

Pull Request - State: closed - Opened by cartazio over 11 years ago

#3 - Add the module Bound.Scope.Simple

Pull Request - State: closed - Opened by np over 11 years ago

#2 - Two minor changes

Pull Request - State: closed - Opened by np over 11 years ago

#1 - remove stray colon

Pull Request - State: closed - Opened by ggreif over 11 years ago

GitHub / ekmett/bound issues and pull requests