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.
sortBy :: HeadedParsec Void Text SortBypostgresql-syntax PostgresqlSyntax.Parsing No documentation available.
sortClause :: HeadedParsec Void Text SortClausepostgresql-syntax PostgresqlSyntax.Parsing No documentation available.
sortBy :: SortBy -> TextBuilderpostgresql-syntax PostgresqlSyntax.Rendering No documentation available.
sortClause :: SortClause -> TextBuilderpostgresql-syntax PostgresqlSyntax.Rendering No documentation available.
sortThreeNotes :: RandomGen g => g -> [([Pitch], [Pitch])]reactive-midyim Reactive.Banana.MIDI.Training No documentation available.
sortArrayBy :: (a -> a -> Ordering) -> MutableArray# s a -> Int -> Int -> ST s ()samsort Data.SamSort Sort a slice of a MutableArray# using a comparison function. The comparison must form a total order, as required by the Ord laws. offset and length must be valid, i.e.
- 0 <= offset < array size .
- 0 <= length .
- offset + length <= array size .
sortIntArrayBy :: (Int -> Int -> Ordering) -> MutableByteArray# s -> Int -> Int -> ST s ()samsort Data.SamSort Sort a slice of a MutableByteArray# interpreted as an array of Int#s using a comparison function. The comparison must form a total order, as required by the Ord laws. offset and length must be valid, i.e.
- 0 <= offset < array size .
- 0 <= length .
- offset + length <= array size .
-
streamly-core Streamly.Data.StreamK Sort the input stream using a supplied comparison function. Sorting can be achieved by simply:
>>> sortBy cmp = StreamK.mergeMapWith (StreamK.mergeBy cmp) StreamK.fromPure
However, this combinator uses a parser to first split the input stream into down and up sorted segments and then merges them to optimize sorting when pre-sorted sequences exist in the input stream. O(n) space -
streamly-core Streamly.Internal.Data.StreamK Sort the input stream using a supplied comparison function. Sorting can be achieved by simply:
>>> sortBy cmp = StreamK.mergeMapWith (StreamK.mergeBy cmp) StreamK.fromPure
However, this combinator uses a parser to first split the input stream into down and up sorted segments and then merges them to optimize sorting when pre-sorted sequences exist in the input stream. O(n) space sortDefs :: Definitions -> [(QName, Definition)]Agda Agda.Compiler.Common No documentation available.