Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. module Language.Fixpoint.Types.Sorts

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

  2. type SortSubst = HashMap Symbol Sort

    liquid-fixpoint Language.Fixpoint.Types.Sorts

    No documentation available.

  3. 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

  4. type SortClause = NonEmpty SortBy

    postgresql-syntax PostgresqlSyntax.Ast

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

  5. SortCannotDependOnItsIndex_ :: ErrorName

    Agda Agda.Interaction.Options.Errors

    No documentation available.

  6. SortDoesNotAdmitDataDefinitions_ :: ErrorName

    Agda Agda.Interaction.Options.Errors

    No documentation available.

  7. SortOfSplitVarError_ :: ErrorName

    Agda Agda.Interaction.Options.Errors

    No documentation available.

  8. data Sort' t

    Agda Agda.Syntax.Internal

    Sorts.

  9. SortK :: Key

    Agda Agda.TypeChecking.DiscrimTree.Types

    Universes.

  10. SortCannotDependOnItsIndex :: QName -> Type -> TypeError

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

Page 85 of many | Previous | Next