| hoogle | Source code | Contents | Index

Hoogle.DataBase.TypeSearch.Binding

Description
Deal with variable bindings/alpha renaming in searches And with restrictions Deals with how the query is mapped to the result
Documentation

data Binding | Source

Instances

Eq Binding
Ord Binding
Show Binding

newBinding :: Binding | Source

newBindingUnbox :: Binding | Source

newBindingRebox :: Binding | Source

addBinding :: (Type, Type) -> Binding -> Maybe Binding | Source

costBinding :: Binding -> Int | Source

costsBinding :: Binding -> [Cost] | Source

mergeBindings :: [Binding] -> Maybe Binding | Source

bindings :: Binding -> [(Type, Type)] | Source

Produced by Haddock version 2.4.2