hoogle

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