Portability	GHC
Stability	experimental
Maintainer	emw4@rice.edu
Safe Haskell	None

Data.Binding.Hobbits.Examples.LambdaLifting

Contents

Term data types, using Mb
The lambda-lifting function

Description

The lambda lifting example from the paper E. Westbrook, N. Frisby, P. Brauner, "Hobbits for Haskell: A Library for Higher-Order Encodings in Functional Programming Languages".

Synopsis

Term data types, using `Mb`

module Data.Binding.Hobbits.Examples.LambdaLifting.Terms

The lambda-lifting function

lambdaLift :: Term a -> Decls aSource

mbLambdaLift :: Mb c (Term a) -> Mb c (Decls a)Source

Term data types, using Mb

The lambda-lifting function

Term data types, using `Mb`