ekmett / bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

https://www.schoolofhaskell.com/user/edwardk/bound

ekmett/bound Issues

Add predicate to substitute functions
Updated a year ago2
The `template-haskell` `cabal` flag doesn't do anything
Closed 3 years ago5
Split bound to offer a lightweight version
Closed 3 years ago5
bound + recursion schemes
Updated 3 years ago4
The example use of `Bound.Name` is needed.
Updated 3 years ago
Overkill tests failing to build on 8.10.3
Closed 4 years ago3
Should there be liftScope and should we remove MonadTrans Scope
Closed 4 years ago4
`Imperative` example fails to compile
Closed 4 years ago3
makeBound chokes on types containing tuples of constants
Updated 5 years ago1
Trouble implementing `Monad` instance when scoping more than one term
Closed 6 years ago8
Scope doesn't allow the outer constructor to differ from the constructor we abstract over
Closed 6 years ago12
Mutually recursive expression types?
Closed 7 years ago8
Remembering the binder name when there is no occurrence
Closed 7 years ago1
Errorenous documentation of `mapMBound`
Updated 7 years ago
`Scope`s with `Control.Lens.Plated` lead to infinite loop and space leak
Closed 7 years ago3
bound-2 won't build with current `stack`
Closed 7 years ago4
Add another abstract variant
Closed 7 years ago2
Get Travis to build successfully with 8.0, 8.2, and HEAD
Closed 7 years ago1
ListT instance smells funny
Updated 7 years ago2
Remove or explain mention of "ideal monad" from package introduction.
Updated 7 years ago2
Upload latest version to Hackage
Closed 7 years ago9
instance Bound Free
Closed 7 years ago3
Eq1, Ord1, Show1, Read1 with ghc8
Closed 7 years ago9
Example on how to use Bound.Name
Closed 8 years ago2
instance MFunctor (Scope b)
Closed 7 years ago1
Build fails with GHC 7.8.4
Closed 7 years ago
use hashable-1.2.5.0 Hashable1
Closed 7 years ago
vector-0.12 provides Eq1 etc instances, breaks Overkill.hs
Closed 8 years ago
makeBound fails when `Exp a` has functor component
Closed 8 years ago2
documentation bug in Bound.Scope
Closed 8 years ago1
allow bound to use binary 0.8
Closed 8 years ago1
two wrongs make a right?
Closed 8 years ago1
Minor release for new transformers?
Closed 10 years ago2
'Scope b m' does not obey all monad laws for some monads m
Closed 11 years ago4
Fold the bound extensions in Ermine into either bound or bound-extras package
Updated 11 years ago3