Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. data HeaderDataUnit

   fits-parse	Data.Fits

   The HeaderDataUnit is the full HDU. Both the header information is encoded alongside the data payload.

2. HeaderDataUnit :: Header -> Dimensions -> Extension -> ByteString -> HeaderDataUnit

   fits-parse	Data.Fits

   No documentation available.

3. data HeaderRecord

   fits-parse	Data.Fits

   Headers contain lines that are any of the following

   KEYWORD = VALUE / inline comment
   COMMENT full line comment
   (blank)
   

4. HeadRefDeleted :: EventType

   github	GitHub.Data.Issues

   The pull request’s branch was deleted.

5. HeadRefRestored :: EventType

   github	GitHub.Data.Issues

   The pull request’s branch was restored.

6. data Header

   hal	AWS.Lambda.Events.Kafka

   AWS serialises record headers to JSON as an array of objects. From their docs:

   "headers":[{"headerKey":[104, 101, 97, 100, 101, 114, 86, 97, 108, 117, 101]}]
   

   Note:

   >>> map chr [104, 101, 97, 100, 101, 114, 86, 97, 108, 117, 101]
   "headerValue"
   

7. Header :: Text -> ByteString -> Header

   hal	AWS.Lambda.Events.Kafka

   No documentation available.

8. module HeadedMegaparsec

   No documentation available.

9. data HeadedParsec err strm a

   headed-megaparsec	HeadedMegaparsec

   Headed parser. Abstracts over explicit composition between consecutive megaparsec try blocks, providing for better error messages. With headed parser you don't need to use try at all.

   Examples

   >>> import Prelude
   
   >>> import Control.Applicative
   
   >>> import Data.Void
   
   >>> import qualified Text.Megaparsec as M
   
   >>> import qualified Text.Megaparsec.Char as M
   
   >>> import qualified Text.Megaparsec.Char.Lexer as ML
   
   >>> :{
   let
   select :: HeadedParsec Void String (Maybe [Either Char Int], Maybe Int)
   select = do
   string' "select"
   endHead
   _targets <- optional (space1 *> targets)
   _limit <- optional (space1 *> limit)
   return (_targets, _limit)
   where
   -- Lifted versions of basic parsers:
   char = parse . M.char
   space = parse M.space
   space1 = parse M.space1
   decimal = parse ML.decimal
   string' = parse . M.string'
   -- Syntax parsers:
   targets = M.sepBy1 target commaSeparator
   target = Left <$> char '*' <|> Right <$> decimal
   commaSeparator = space *> char ',' *> endHead *> space
   limit = string' "limit" *> endHead *> space1 *> decimal
   test :: String -> IO ()
   test = M.parseTest (toParsec select <* M.eof)
   :}
   

   >>> test "select 1, "
   1:11:
   |
   1 | select 1,
   |           ^
   unexpected end of input
   expecting '*', integer, or white space
   

   >>> test "select limit "
   ...
   unexpected end of input
   expecting integer or white space
   

   >>> test "select 1, 2 limit 2"
   (Just [Right 1,Right 2],Just 2)
   

10. data Header

    hledger-web	Hledger.Web.Import

    Headers to be added to a Result.

Page 110 of many | Previous | Next