Safe Haskell | Safe-Infered |
---|
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
costBinding :: Binding -> Int
costsBinding :: Binding -> [TypeCost]
mergeBindings :: [Binding] -> Maybe Binding