bound-extras

Version 0.0.1 revision 1 uploaded 2019-06-25T18:58:43.000Z by phadej.

Package meta

Synopsis

ScopeH and ScopeT extras for bound

Description

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.

Author

Oleg Grenrus, Edward Kmett

Bug reports

https://github.com/phadej/bound-extras/issues

Category

Language, Compilers, Interpreters

Copyright

(c) 2018 Oleg Grenrus

Homepage

https://github.com/phadej/bound-extras

Maintainer

Oleg Grenrus <oleg.grenrus@iki.fi>

Package URL

n/a

Stability

n/a

Components

• lib:bound-extras
• test:examples