Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. type SortColumnId = Int

   gtk	Graphics.UI.Gtk.ModelView.TreeSortable

   ID number of a sort column.

   • A SortColumnId is a logical number to which a sorting function can be associated. The number does not have to coincide with any column number.

2. SortAscending :: SortType

   gtk	Graphics.UI.Gtk.ModelView.TreeViewColumn

   No documentation available.

3. SortDescending :: SortType

   gtk	Graphics.UI.Gtk.ModelView.TreeViewColumn

   No documentation available.

4. data SortType

   gtk	Graphics.UI.Gtk.ModelView.TreeViewColumn

   No documentation available.

5. module Language.Fixpoint.SortCheck

   This module has the functions that perform sort-checking, and related operations on Fixpoint expressions and predicates.

6. data SortedReft

   liquid-fixpoint	Language.Fixpoint.Types.Refinements

   No documentation available.

7. module Language.Fixpoint.Types.Sorts

   This module contains the data types, operations and serialization functions for representing Fixpoint's Horn and well-formedness constraints.

8. type SortSubst = HashMap Symbol Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   No documentation available.

9. data SortBy

   postgresql-syntax	PostgresqlSyntax.Ast

   References

   sortby:
   |  a_expr USING qual_all_Op opt_nulls_order
   |  a_expr opt_asc_desc opt_nulls_order
   

10. type SortClause = NonEmpty SortBy

    postgresql-syntax	PostgresqlSyntax.Ast

    sort_clause: | ORDER BY sortby_list sortby_list: | sortby | sortby_list ',' sortby

Page 80 of many | Previous | Next