Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
sortNumericAlpha :: (KeyVals, KeyVals) -> (KeyVals, KeyVals)kvitable Data.KVITable.Render Table KeyVals sorting function; alphanumeric with numeric preference. This can be used as the sortKeyVals function for the table. If the value starts or ends with a digit, then this should do a rough numeric sort on the expectation that the digits represent a version or some other numeric value. As an approximation of a numeric sort, sort by word size and then string value. This will result in [ "1", "2", "10", "50", "400" ], but would fail with [ "v1.0", "v2.0", "v3.0", "v2.0.5", "v1.0.0.3" ], but it's a reasonably fast heuristic and probably better than a straight ascii sort.
sortKeyVals :: RenderConfig -> Maybe ((KeyVals, KeyVals) -> (KeyVals, KeyVals))kvitable Data.KVITable.Render.ASCII Specifies a function to sort the KeyVals (rows and columns, respectively) for the output. If no function provided, no sorting is performed. The provided KeyVals are in the order in which the Keys are declared to the KVITable; the values for each key may be in an arbitrary order. The usual expectation is that this will only sort the values for each Key, but it is allowed to re-order the Keys as well. Sorting is done *prior* to applying maxCells and maxCols limitations; this provides the unsurprising results for the user but means that this function may perform extra work to sort rows and columns that will not be shown. It is permissible to move entries from the rows to the columns and vice-versa; this function has control over the shape of the resulting table, which includes redistributing the rows and columns such that the result will violate maxCols (but not maxCells). The columns keyvals will be empty if colStackAt is Nothing.
sortKeyVals :: RenderConfig -> Maybe ((KeyVals, KeyVals) -> (KeyVals, KeyVals))kvitable Data.KVITable.Render.HTML Specifies a function to sort the KeyVals (rows and columns, respectively) for the output. If no function provided, no sorting is performed. The provided KeyVals are in the order in which the Keys are declared to the KVITable; the values for each key may be in an arbitrary order. The usual expectation is that this will only sort the values for each Key, but it is allowed to re-order the Keys as well. Sorting is done *prior* to applying maxCells and maxCols limitations; this provides the unsurprising results for the user but means that this function may perform extra work to sort rows and columns that will not be shown. It is permissible to move entries from the rows to the columns and vice-versa; this function has control over the shape of the resulting table, which includes redistributing the rows and columns such that the result will violate maxCols (but not maxCells). The columns keyvals will be empty if colStackAt is Nothing.
-
liquid-fixpoint Language.Fixpoint.Horn.SMTParse No documentation available.
sortNub :: Ord a => [a] -> [a]liquid-fixpoint Language.Fixpoint.Misc No documentation available.
sortNubBy :: Eq a => (a -> a -> Ordering) -> [a] -> [a]liquid-fixpoint Language.Fixpoint.Misc No documentation available.
-
liquid-fixpoint Language.Fixpoint.Parse Parser for sorts (types).
sortSmtSort :: Bool -> SEnv DataDecl -> Sort -> SmtSortliquid-fixpoint Language.Fixpoint.Smt.Theories The poly parameter is True when we are *declaring* sorts, and so we need to leave the top type variables be; it is False when we are declaring variables etc., and there, we serialize them using Int (though really, there SHOULD BE NO floating tyVars... 'smtSort True msg t' serializes a sort t using type variables, 'smtSort False msg t' serializes a sort t using Int instead of tyvars.
sortExpr :: SrcSpan -> SEnv Sort -> Expr -> Sortliquid-fixpoint Language.Fixpoint.SortCheck Sort Inference ------------------------------------------------------------
-
liquid-fixpoint Language.Fixpoint.Types.Constraints No documentation available.