Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
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.Type.List
- module Data.Binding.Hobbits.SuperComb
- module Data.Binding.Hobbits.QQ
- module Data.Binding.Hobbits.PatternParser
- 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
Ancilliary modules
module Data.Type.List
Type lists track the types of bound variables.
module Data.Binding.Hobbits.QQ
A simple parser for Haskell patterns.
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.