bound-extras: ScopeH and ScopeT extras for bound

[ bsd3, compilers, interpreters, language, library ] [ Propose Tags ]

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.

Versions [faq] 0, 0.0.1
Change log CHANGELOG.md
Dependencies base (>=4.9.1.0 && <4.10 || >=4.10.1.0 && <4.11 || >=4.11.1.0 && <4.12 || >=4.12.0.0 && <4.13), bifunctors (>=5.5.3 && <5.6), bound (>=2.0.1 && <2.1), deepseq (>=1.4.2.0 && <1.5), hashable (>=1.2.7.0 && <1.3), transformers (>=0.5.0.0 && <0.6) [details]
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 Thu Apr 25 14:42:07 UTC 2019
Distributions NixOS:0.0.1
Downloads 92 total (29 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-04-25 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees