Data.Binding.Hobbits

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".

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

The Cl type models super-combinators, which are safe functions to apply under Mb.

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.

Lifting values out of multi-bindings

module Data.Binding.Hobbits.Liftable

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.