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. toposortKindVarsOfTvbs :: [DTyVarBndr flag] -> [DTyVarBndrUnit]

   th-desugar	Language.Haskell.TH.Desugar

   Take a telescope of DTyVarBndrs, find the free variables in their kinds, and sort them in reverse topological order to ensure that they are well scoped. Because the argument list is assumed to be telescoping, kind variables that are bound earlier in the list are not returned. For example, this:

   toposortKindVarsOfTvbs [a :: k, b :: Proxy a]
   

   Will return [k], not [k, a], since a is bound earlier by a :: k.

2. toposortTyVarsOf :: [DType] -> [DTyVarBndrUnit]

   th-desugar	Language.Haskell.TH.Desugar

   Take a list of DTypes, find their free variables, and sort them in reverse topological order to ensure that they are well scoped. In other words, the free variables are ordered such that:

   1. Whenever an explicit kind signature of the form (A :: K) is encountered, the free variables of K will always appear to the left of the free variables of A in the returned result.
   2. The constraint in (1) notwithstanding, free variables will appear in left-to-right order of their original appearance.
   On older GHCs, this takes measures to avoid returning explicitly bound kind variables, which was not possible before TypeInType.

3. preprocessorTests :: [([Char], IO ())]

   HTF	Test.Framework.Preprocessor

   No documentation available.

4. data TestSort

   HTF	Test.Framework.TestTypes

   Type for distinguishing different sorts of tests.

5. ft_sort :: GenFlatTest a -> TestSort

   HTF	Test.Framework.TestTypes

   The sort of the test.

6. tc_sortByPrevTime :: TestConfig -> Bool

   HTF	Test.Framework.TestTypes

   Sort ascending by previous execution times

7. defsortspec :: SortSpec

   hledger-lib	Hledger.Reports.PostingsReport

   No documentation available.

8. defsortspec :: SortSpec

   hledger-lib	Hledger.Reports.ReportOptions

   No documentation available.

9. class RebuildSortedHList (l :: [Type])

   reflex	Reflex.Dynamic

   This class allows HLists and FHlists to be built from regular lists; they must be contiguous and sorted.

10. rebuildSortedFHList :: forall (f :: Type -> Type) . RebuildSortedHList l => [DSum (HListPtr l) f] -> FHList f l

    reflex	Reflex.Dynamic

    No documentation available.

Page 110 of many | Previous | Next