Data.Binding.Hobbits.Mb

Abstract types

data Name a

type Binding a

data Mb ctx b

Multi-binding constructors

Operations on multi-bindings

Queries on names

type classes for lifting data out of bindings

class Liftable a

class Liftable1 f

class Liftable2 f

Optimized, safe multi-binding eliminators