Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. quicksortArray :: Ord a => Array a % 1 -> Array a

    linear-base Simple.Quicksort

    No documentation available.

  2. quicksortUsingArray :: Ord a => [a] -> [a]

    linear-base Simple.Quicksort

    No documentation available.

  3. quicksortUsingList :: Ord a => [a] -> [a]

    linear-base Simple.Quicksort

    No documentation available.

  4. module Simple.TopSort

    No documentation available.

  5. topsort :: [(Node, [Node])] -> [Node]

    linear-base Simple.TopSort

    No documentation available.

  6. bSort :: Bind a -> !Sort

    liquid-fixpoint Language.Fixpoint.Horn.Types

    No documentation available.

  7. topoSortWith :: Ord v => (a -> (v, [v])) -> [a] -> [a]

    liquid-fixpoint Language.Fixpoint.Misc

    No documentation available.

  8. smt2SortMono :: PPrint a => a -> SymEnv -> Sort -> Builder

    liquid-fixpoint Language.Fixpoint.Smt.Serialize

    No documentation available.

  9. inlineInSortedReft :: (Symbol -> Maybe SortedReft) -> SortedReft -> SortedReft

    liquid-fixpoint Language.Fixpoint.Solver.EnvironmentReduction

    Inlines bindings in env in the given SortedReft.

  10. module Language.Fixpoint.Solver.TrivialSort

    No documentation available.

Page 150 of many | Previous | Next