Hoogle Search
Within LTS Haskell 24.58 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
unsafeHeadM :: (Monad m, Source r e) => Vector r e -> m emassiv Data.Massiv.Array.Unsafe No documentation available.
shead' :: (HasCallStack, Stream r Ix1 e) => Vector r e -> emassiv Data.Massiv.Vector O(1) - Get the first element of a Stream vector. Throws an error on empty. Related: head', headM, sheadM, unconsM.
Examples
>>> shead' $ sunfoldr (\x -> Just (x, x)) (0 :: Int) 0 >>> shead' (Ix1 3 ... 5) 3
sheadM :: (Stream r Ix1 e, MonadThrow m) => Vector r e -> m emassiv Data.Massiv.Vector O(1) - Get the first element of a Stream vector. Related: head', shead', headM, unconsM. Throws Exceptions: SizeEmptyException
Examples
>>> maybe 101 id $ sheadM (empty :: Vector D Int) 101 >>> maybe 101 id $ sheadM (singleton 202 :: Vector D Int) 202 >>> sheadM $ sunfoldr (\x -> Just (x, x)) (0 :: Int) 0 >>> x <- sheadM $ sunfoldr (\_ -> Nothing) (0 :: Int) *** Exception: SizeEmptyException: (Sz1 0) corresponds to an empty array
ApiKeyHeader :: ApiKeyLocationopenapi3 Data.OpenApi No documentation available.
-
openapi3 Data.OpenApi Custom headers that are expected as part of the request.
_componentsHeaders :: Components -> Definitions Headeropenapi3 Data.OpenApi No documentation available.
_encodingHeaders :: Encoding -> InsOrdHashMap Text (Referenced Header)openapi3 Data.OpenApi A map allowing additional information to be provided as headers, for example Content-Disposition. Content-Type is described separately and SHALL be ignored in this section. This property SHALL be ignored if the request body media type is not a multipart.
_headerAllowEmptyValue :: Header -> Maybe Boolopenapi3 Data.OpenApi No documentation available.
_headerDeprecated :: Header -> Maybe Boolopenapi3 Data.OpenApi No documentation available.
_headerDescription :: Header -> Maybe HeaderNameopenapi3 Data.OpenApi A short description of the header.