@hackage bound-extras0.0.2
ScopeH and ScopeT extras for bound
Categories
License
BSD-3-Clause
Maintainer
Oleg Grenrus <oleg.grenrus@iki.fi>
Links
Versions
Installation
Tested Compilers
Dependencies (6)
- base ^>=4.9.1.0 || ^>=4.10.1.0 || ^>=4.11.1.0 || ^>=4.12.0.0 || ^>=4.13.0.0 || ^>=4.14.0.0 || ^>=4.15.0.0 || ^>=4.16.0.0 || ^>=4.17.0.0 || ^>=4.18.0.0 || ^>=4.19.0.0
- bifunctors ^>=5.5.3 || ^>=5.6.1
- bound ^>=2.0.1
- deepseq ^>=1.4.2.0 || ^>=1.5.0.0
- hashable ^>=1.2.7.0 || ^>=1.3.0.0 || ^>=1.4.0.1
- transformers ^>=0.5.0.0 || ^>=0.6.1.0 Show all…
Dependents (0)
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.