Hoogle Search

Within LTS Haskell 24.4 (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. module Documentation.SBV.Examples.Uninterpreted.Sort

   Demonstrates uninterpreted sorts, together with axioms.

3. newtype Sort

   what4	What4.Protocol.SMTLib2

   Sort for SMTLIB expressions

4. Sort :: Builder -> Sort

   what4	What4.Protocol.SMTLib2

   No documentation available.

5. data Sort

   what4	What4.Protocol.SMTLib2.Parse

   An SMT sort.

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

   what4	What4.Protocol.SMTLib2.Parse

   A named sort with the given arguments.

7. newtype Sort

   what4	What4.Protocol.SMTLib2.Syntax

   Sort for SMTLIB expressions

8. Sort :: Builder -> Sort

   what4	What4.Protocol.SMTLib2.Syntax

   No documentation available.

9. Sort :: Phase

   Agda	Agda.Benchmarking

   Subphase for Serialization.

10. type Sort = Sort' Term

    Agda	Agda.Syntax.Internal

    No documentation available.

Page 12 of many | Previous | Next