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 :: Vector a -> Vector a

   rrb-vector	Data.RRBVector

   Reverse the vector.

   >>> reverse (fromList [1, 2, 3])
   fromList [3,2,1]
   

2. reverse :: forall (f :: Type -> Type) (n :: Nat) a . (Dom f a, CFreeMonoid f) => Sized f n a -> Sized f n a

   sized	Data.Sized

   Reverse function. Since 0.7.0.0

3. reverse :: Slist a -> Slist a

   slist	Slist

   O(n). Returns the elements of the slist in reverse order.

   >>> reverse $ slist "Hello"
   Slist {sList = "olleH", sSize = Size 5}
   
   >>> reverse $ slist "wow"
   Slist {sList = "wow", sSize = Size 3}
   

   Note: reverse slist can not be calculated on infinite slists.

   >> reverse $ infiniteSlist [1..]
   <hangs>
   

   Use safeReverse to not hang on infinite slists.

4. reverse :: forall t (m :: Type -> Type) a . (IsStream t, Monad m) => t m a -> t m a

   streamly	Streamly.Internal.Data.Stream.IsStream

   Returns the elements of the stream in reverse order. The stream must be finite. Note that this necessarily buffers the entire stream in memory.

   >>> reverse = Stream.foldlT (flip Stream.cons) Stream.nil
   

   Since 0.7.0 (Monad m constraint) Since: 0.1.1

5. reverse :: forall t (m :: Type -> Type) a . (IsStream t, Monad m) => t m a -> t m a

   streamly	Streamly.Internal.Data.Stream.IsStream

   Returns the elements of the stream in reverse order. The stream must be finite. Note that this necessarily buffers the entire stream in memory.

   >>> reverse = Stream.foldlT (flip Stream.cons) Stream.nil
   

   Since 0.7.0 (Monad m constraint) Since: 0.1.1

6. reverse :: forall t (m :: Type -> Type) a . (IsStream t, Monad m) => t m a -> t m a

   streamly	Streamly.Prelude

   Returns the elements of the stream in reverse order. The stream must be finite. Note that this necessarily buffers the entire stream in memory.

   >>> reverse = Stream.foldlT (flip Stream.cons) Stream.nil
   

   Since 0.7.0 (Monad m constraint) Since: 0.1.1

7. reverse :: Zipper a -> Zipper a

   streams	Data.Stream.Infinite.Functional.Zipper

   No documentation available.

8. reverse :: Unboxable a => Vector a -> Vector a

   unboxing-vector	Data.Vector.Unboxing

   No documentation available.

9. reverse :: forall (n :: Nat) a . SNatI n => Vec n a -> Vec n a

   vec	Data.Vec.DataFamily.SpineStrict

   Reverse Vec.

   >>> reverse ('a' ::: 'b' ::: 'c' ::: VNil)
   'c' ::: 'b' ::: 'a' ::: VNil
   

10. reverse :: forall (n :: Nat) a . Vec n a -> Vec n a

    vec	Data.Vec.Lazy

    Reverse Vec.

    >>> reverse ('a' ::: 'b' ::: 'c' ::: VNil)
    'c' ::: 'b' ::: 'a' ::: VNil
    

Page 17 of many | Previous | Next