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 [RSS] [faq] 0, 0.0.1, 0.0.2
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 || >=4.13.0.0 && <4.14 || >=4.14.0.0 && <4.15 || >=4.15.0.0 && <4.16 || >=4.16.0.0 && <4.17), 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 || >=1.3.0.0 && <1.4 || >=1.4.0.1 && <1.5), 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 2022-01-02T16:55:01Z
Distributions NixOS:0.0.1
Downloads 865 total (22 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2022-01-02 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates