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

Ancilliary modules

module Data.Type.List

Type lists track the types of bound variables.

module Data.Binding.Hobbits.SuperComb

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

module Data.Binding.Hobbits.QQ

The nuQQ quasiquoter allows safe pattern matching on Mb values.

module Data.Binding.Hobbits.PatternParser

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.