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.

Exact lookup

1. reverse :: forall (n :: Natural) r ix e . (IsIndexDimension ix n, Index ix, Source r e) => Dimension n -> Array r ix e -> Array D ix e

   massiv	Data.Massiv.Array

   Reverse an array along some dimension. Dimension supplied is checked at compile time.

   Example

   >>> import Data.Massiv.Array as A
   
   >>> arr = makeArrayLinear Seq (Sz2 4 5) (+10) :: Array D Ix2 Int
   
   >>> arr
   Array D Seq (Sz (4 :. 5))
   [ [ 10, 11, 12, 13, 14 ]
   , [ 15, 16, 17, 18, 19 ]
   , [ 20, 21, 22, 23, 24 ]
   , [ 25, 26, 27, 28, 29 ]
   ]
   
   >>> A.reverse Dim1 arr
   Array D Seq (Sz (4 :. 5))
   [ [ 14, 13, 12, 11, 10 ]
   , [ 19, 18, 17, 16, 15 ]
   , [ 24, 23, 22, 21, 20 ]
   , [ 29, 28, 27, 26, 25 ]
   ]
   
   >>> A.reverse Dim2 arr
   Array D Seq (Sz (4 :. 5))
   [ [ 25, 26, 27, 28, 29 ]
   , [ 20, 21, 22, 23, 24 ]
   , [ 15, 16, 17, 18, 19 ]
   , [ 10, 11, 12, 13, 14 ]
   ]
   

2. reverse :: [a] -> [a]

   protolude	Protolude

   reverse xs returns the elements of xs in reverse order. xs must be finite.

   Laziness

   reverse is lazy in its elements.

   >>> head (reverse [undefined, 1])
   1
   

   >>> reverse (1 : 2 : undefined)
   *** Exception: Prelude.undefined
   

   Examples

   >>> reverse []
   []
   

   >>> reverse [42]
   [42]
   

   >>> reverse [2,5,7]
   [7,5,2]
   

   >>> reverse [1..]
   * Hangs forever *
   

3. reverse :: JSString -> JSString

   jsaddle	Data.JSString

   O(n) Reverse the characters of a string. Subject to fusion.

4. reverse :: Stream Char -> JSString

   jsaddle	Data.JSString.Internal.Fusion

   O(n) Reverse the characters of a string.

5. reverse :: MutableJSArray -> JSM ()

   jsaddle	JavaScript.Array

   No documentation available.

6. reverse :: T a -> T a

   numeric-prelude	MathObj.LaurentPolynomial

   p(z) -> p(1/z)

7. reverse :: C a => T a -> T a

   numeric-prelude	MathObj.Polynomial

   No documentation available.

8. reverse :: [a] -> [a]

   numeric-prelude	NumericPrelude

   reverse xs returns the elements of xs in reverse order. xs must be finite.

   Laziness

   reverse is lazy in its elements.

   >>> head (reverse [undefined, 1])
   1
   

   >>> reverse (1 : 2 : undefined)
   *** Exception: Prelude.undefined
   

   Examples

   >>> reverse []
   []
   

   >>> reverse [42]
   [42]
   

   >>> reverse [2,5,7]
   [7,5,2]
   

   >>> reverse [1..]
   * Hangs forever *
   

9. reverse :: [a] -> [a]

   numeric-prelude	NumericPrelude.Base

   reverse xs returns the elements of xs in reverse order. xs must be finite.

   Laziness

   reverse is lazy in its elements.

   >>> head (reverse [undefined, 1])
   1
   

   >>> reverse (1 : 2 : undefined)
   *** Exception: Prelude.undefined
   

   Examples

   >>> reverse []
   []
   

   >>> reverse [42]
   [42]
   

   >>> reverse [2,5,7]
   [7,5,2]
   

   >>> reverse [1..]
   * Hangs forever *
   

10. reverse :: [a] -> [a]

    numhask	NumHask.Prelude

    reverse xs returns the elements of xs in reverse order. xs must be finite.

    Laziness

    reverse is lazy in its elements.

    >>> head (reverse [undefined, 1])
    1
    

    >>> reverse (1 : 2 : undefined)
    *** Exception: Prelude.undefined
    

    Examples

    >>> reverse []
    []
    

    >>> reverse [42]
    [42]
    

    >>> reverse [2,5,7]
    [7,5,2]
    

    >>> reverse [1..]
    * Hangs forever *
    

Page 8 of many | Previous | Next