Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

Exact lookup

1. module Numeric.GSL.Sort

   GSL sorting functions http://www.gnu.org/software/gsl/manual/

2. data Sort

   liquid-fixpoint	Language.Fixpoint.Types.Sorts

   Sorts ---------------------------------------------------------------------

3. module Documentation.SBV.Examples.Uninterpreted.Sort

   Demonstrates uninterpreted sorts, together with axioms.

4. newtype Sort

   what4	What4.Protocol.SMTLib2

   Sort for SMTLIB expressions

5. Sort :: Builder -> Sort

   what4	What4.Protocol.SMTLib2

   No documentation available.

6. data Sort

   what4	What4.Protocol.SMTLib2.Parse

   An SMT sort.

7. Sort :: Symbol -> [Sort] -> Sort

   what4	What4.Protocol.SMTLib2.Parse

   A named sort with the given arguments.

8. newtype Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Sort for SMTLIB expressions

9. Sort :: Builder -> Sort

   what4	What4.Protocol.SMTLib2.Syntax

   No documentation available.

10. Sort :: Phase

    Agda	Agda.Benchmarking

    Subphase for Serialization.

Page 12 of many | Previous | Next