Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
Safe Haskell | Safe-Infered |
This library implements multi-bindings as described in the paper E. Westbrook, N. Frisby, P. Brauner, "Hobbits for Haskell: A Library for Higher-Order Encodings in Functional Programming Languages".
- module Data.Binding.Hobbits.Mb
- module Data.Binding.Hobbits.Closed
- module Data.Binding.Hobbits.QQ
- module Data.Type.List
- module Data.Binding.Hobbits.NuElim
Values under multi-bindings
module Data.Binding.Hobbits.Mb
The Mb
type modeling multi-bindings is the
central abstract type of the library
Closed terms
module Data.Binding.Hobbits.Closed
Pattern-matching multi-bindings and closed terms
module Data.Binding.Hobbits.QQ
The nuP
quasiquoter allows safe pattern
matching on Mb
values. superCombP
is similar.
Ancilliary modules
module Data.Type.List
Type lists track the types of bound variables.
module Data.Binding.Hobbits.NuElim
The Data.Binding.Hobbits.NuElim module allows elimination of bindings and multi-bindings; NOTE: this module is not covered in the "Hobbits for Haskell" paper.