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

(Liftable1 f, Liftable a) => Liftable (f a)

Liftable (Member c a)

class Liftable1 f where

The class Liftable1 f gives a lifting function for each type f a when a itself is Liftable.

Methods

mbLift1 :: Liftable a => Mb ctx (f a) -> f a

Instances

Liftable1 []

(Liftable2 f, Liftable a) => Liftable1 (f a)

class Liftable2 f where

The class Liftable2 f gives a lifting function for each type f a b when a and b are Liftable.

Methods

mbLift2 :: (Liftable a, Liftable b) => Mb ctx (f a b) -> f a b

Instances

Liftable2 (,)

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

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