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 | |
Downloads | 1217 total (7 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] |