Data.Type.Apply

Documentation

class Apply f a r | f a -> r where

Methods

apply :: f -> a -> r

Instances

TypeEq s a b => Apply (Member s) a b

(TypeEq h a b1, Apply (Member t) a b2, TOr b1 b2 b) => Apply (Member (:*: h t)) a b

Apply (Member TNil) a TFalse

Apply (x -> y) x y