Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

  1. imapM_ :: forall m (n :: Nat) a b . Monad m => (Finite n -> a -> m b) -> Vector n a -> m ()

    vector-sized Data.Vector.Sized

    O(n) Apply the monadic action to every element of a vector and its index, ignoring the results.

  2. concatMap :: forall a b (m :: Nat) (n :: Nat) . (Storable a, Storable b) => (a -> Vector m b) -> Vector n a -> Vector (n * m) b

    vector-sized Data.Vector.Storable.Sized

    O(n*m) Map a function over a vector and concatenate the results. The function is required to always return the same length vector.

  3. imap :: forall a b (n :: Nat) . (Storable a, Storable b) => (Finite n -> a -> b) -> Vector n a -> Vector n b

    vector-sized Data.Vector.Storable.Sized

    O(n) Apply a function to every element of a vector and its index.

  4. imapM :: forall m a b (n :: Nat) . (Monad m, Storable a, Storable b) => (Finite n -> a -> m b) -> Vector n a -> m (Vector n b)

    vector-sized Data.Vector.Storable.Sized

    O(n) Apply the monadic action to every element of a vector and its index, yielding a vector of results.

  5. imapM_ :: forall m a (n :: Nat) b . (Monad m, Storable a) => (Finite n -> a -> m b) -> Vector n a -> m ()

    vector-sized Data.Vector.Storable.Sized

    O(n) Apply the monadic action to every element of a vector and its index, ignoring the results.

  6. concatMap :: forall a b (m :: Nat) (n :: Nat) . (Unbox a, Unbox b) => (a -> Vector m b) -> Vector n a -> Vector (n * m) b

    vector-sized Data.Vector.Unboxed.Sized

    O(n*m) Map a function over a vector and concatenate the results. The function is required to always return the same length vector.

  7. imap :: forall a b (n :: Nat) . (Unbox a, Unbox b) => (Finite n -> a -> b) -> Vector n a -> Vector n b

    vector-sized Data.Vector.Unboxed.Sized

    O(n) Apply a function to every element of a vector and its index.

  8. imapM :: forall m a b (n :: Nat) . (Monad m, Unbox a, Unbox b) => (Finite n -> a -> m b) -> Vector n a -> m (Vector n b)

    vector-sized Data.Vector.Unboxed.Sized

    O(n) Apply the monadic action to every element of a vector and its index, yielding a vector of results.

  9. imapM_ :: forall m a (n :: Nat) b . (Monad m, Unbox a) => (Finite n -> a -> m b) -> Vector n a -> m ()

    vector-sized Data.Vector.Unboxed.Sized

    O(n) Apply the monadic action to every element of a vector and its index, ignoring the results.

  10. checkMMap :: (Monad m, RenderMessage (HandlerSite m) msg) => (a -> m (Either msg b)) -> (b -> a) -> Field m a -> Field m b

    yesod-form Yesod.Form.Functions

    Same as checkM, but modifies the datatype. In order to make this work, you must provide a function to convert back from the new datatype to the old one (the second argument to this function). Since 1.1.2

Page 538 of many | Previous | Next