Data.Binding.Hobbits.Liftable

This module defines the type-class Liftable for lifting non-binding-related data out of name-bindings. Note that this code is not "trusted", i.e., it is not part of the name-binding abstraction: instead, it is all written using the primitives exported by the Mb

Documentation

class NuMatching a => Liftable a where

The class Liftable a gives a "lifting function" for a, which can take any data of type a out of a multi-binding of type Mb ctx a.

Methods

mbLift :: Mb ctx a -> a

Instances

Liftable Char

Liftable Int

Liftable Integer

Liftable ()

Liftable a => Liftable [a]

Liftable (Closed a)

(Liftable a, Liftable b) => Liftable (a, b)

Liftable (Member c a)

mbList :: NuMatching a => Mb c [a] -> [Mb c a]

Lift a list (but not its elements) out of a multi-binding