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.

Minimal complete definition

mbLift

Methods

mbLift :: Mb ctx a -> a

Instances

Liftable Bool

Methods

mbLift :: Mb ctx Bool -> Bool

Liftable Char

Methods

mbLift :: Mb ctx Char -> Char

Liftable Int

Methods

mbLift :: Mb ctx Int -> Int

Liftable Integer

Methods

mbLift :: Mb ctx Integer -> Integer

Liftable ()

Methods

mbLift :: Mb ctx () -> ()

Liftable a => Liftable [a]

Methods

mbLift :: Mb ctx [a] -> [a]

Liftable a => Liftable (Maybe a)

Methods

mbLift :: Mb ctx (Maybe a) -> Maybe a

(Integral a, Liftable a) => Liftable (Ratio a)

Methods

mbLift :: Mb ctx (Ratio a) -> Ratio a

Liftable (Closed a)

Methods

mbLift :: Mb ctx (Closed a) -> Closed a

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

Methods

mbLift :: Mb ctx (Either a b) -> Either a b

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

Methods

mbLift :: Mb ctx (a, b) -> (a, b)

Liftable (Member c a)

Methods

mbLift :: Mb ctx (Member c a) -> Member c a

Lifting instances that must be defined inside the library abstraction boundary

Lifting instances and related functions that could be defined outside the library

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

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

Orphan instances

(Integral a, NuMatching a) => NuMatching (Ratio a)

Methods

nuMatchingProof :: MbTypeRepr (Ratio a)