Hoogle Search

Within LTS Haskell 24.9 (ghc-9.10.2)

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

  1. reverseBytes :: EncodingInfo -> Option

    soxlib Sound.SoxLib

    No documentation available.

  2. reverseNibbles :: EncodingInfo -> Option

    soxlib Sound.SoxLib

    No documentation available.

  3. reverseUnbox :: forall (m :: Type -> Type) a . (MonadIO m, Unbox a) => Stream m a -> Stream m a

    streamly-core Streamly.Internal.Data.Stream

    Like reverse but several times faster, requires an Unbox instance. O(n) space Pre-release

  4. reversePolarities :: forall (f :: BaseType -> Type) . OrdF f => BoolMap f -> BoolMap f

    what4 What4.Expr.BoolMap

    Swap the polarities of the terms in the given bool map.

  5. reverseP :: Permutation -> Permutation

    Agda Agda.Utils.Permutation 

    permute (reverseP p) xs ==
reverse $ permute p $ reverse xs
    Example: permute (reverseP (Perm 4 [1,3,0])) [x0,x1,x2,x3] == permute (Perm 4 $ map (3-) [0,3,1]) [x0,x1,x2,x3] == permute (Perm 4 [3,0,2]) [x0,x1,x2,x3] == [x3,x0,x2] == reverse [x2,x0,x3] == reverse $ permute (Perm 4 [1,3,0]) [x3,x2,x1,x0] == reverse $ permute (Perm 4 [1,3,0]) $ reverse [x0,x1,x2,x3] With reverseP, you can convert a permutation on de Bruijn indices to one on de Bruijn levels, and vice versa.

  6. reverseConcat1 :: Int -> String -> [String]

    aftovolio Aftovolio.Ukrainian.ReverseConcatenations

    Reverses many phonetic languages approach related concatenations for just one Ukrainian word. Is used internally in the reverseConcatenations.

  7. reverseConcat2 :: Int -> String -> String -> String -> [String]

    aftovolio Aftovolio.Ukrainian.ReverseConcatenations

    No documentation available.

  8. reverseConcatenations :: Int -> String -> String

    aftovolio Aftovolio.Ukrainian.ReverseConcatenations

    Reverses many phonetic languages approach related concatenations for the Ukrainian text. Is intended to be used with the text on several lines.

  9. reverseOnto :: Chunks a -> Chunks a -> Chunks a

    array-chunks Data.Chunks

    Variant of reverse that allows the caller to provide an initial list of chunks that the reversed chunks will be pushed onto. 

    >>> reverseOnto [[15],[12,4]] [[42,17,94],[6,12],[3,14]]
[[3,14],[6,12],[42,17,94],[15],[12,4]]

  10. reverseDependencyClosure :: GenericInstallPlan ipkg srcpkg -> [UnitId] -> [GenericPlanPackage ipkg srcpkg]

    cabal-install Distribution.Client.InstallPlan

    Return the packages in the plan that depend directly or indirectly on the given packages.

Page 32 of many | Previous | Next