bound-extras: ScopeH and ScopeT extras for bound
Provides more complex Scope variants; ScopeT and ScopeH:
Scope b f a ~ ScopeT b IdentityT f a ~ ScopeH b f f a ScopeT b t f a ~ ScopeH b (t f) f a
ScopeH probably should be preferred over ScopeT.
Latter is left here for completeness.
Simple implementations of ScopeH and ScopeT would be similar
(sans type arguments) to Bound.Scope.Simple.
Look into examples/ directory for System F and Bidirectional STLC
implemented with a help of ScopeH.
Downloads
- bound-extras-0.0.3.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 0, 0.0.1, 0.0.2, 0.0.3 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | base (>=4.12.0.0 && <4.13 || >=4.13.0.0 && <4.14 || >=4.14.0.0 && <4.15 || >=4.15.0.0 && <4.16 || >=4.16.0.0 && <4.17 || >=4.17.0.0 && <4.18 || >=4.18.0.0 && <4.19 || >=4.19.0.0 && <4.20 || >=4.20.0.0 && <4.21), bound (>=2.0.7 && <2.1), deepseq (>=1.4.4.0 && <1.5 || >=1.5.0.0 && <1.6), hashable (>=1.4.7.0 && <1.5 || >=1.5.0.0 && <1.6), transformers (>=0.5.6.2 && <0.6 || >=0.6.1.0 && <0.7) [details] |
| Tested with | ghc ==8.6.5 || ==8.8.4 || ==8.10.7 || ==9.0.2 || ==9.2.8 || ==9.4.8 || ==9.6.6 || ==9.8.2 || ==9.10.1 |
| License | BSD-3-Clause |
| Copyright | (c) 2018 Oleg Grenrus |
| Author | Oleg Grenrus, Edward Kmett |
| Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
| Category | Language, Compilers, Interpreters |
| Home page | https://github.com/phadej/bound-extras |
| Bug tracker | https://github.com/phadej/bound-extras/issues |
| Source repo | head: git clone https://github.com/phadej/bound-extras |
| Uploaded | by phadej at 2024-08-03T16:25:49Z |
| Distributions | NixOS:0.0.3 |
| Downloads | 1285 total (4 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2024-08-03 [all 1 reports] |