| Copyright | (c) Marcelo Garlet Milani 2026 |
|---|---|
| License | MIT |
| Maintainer | mgmilani@pm.me |
| Stability | unstable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Nauty.Internal.Parsing
Description
This module contains internal functions used by other modules. Except for test cases, you should not import this module.
Synopsis
- consume :: Word64 -> StateT ByteString (Either Text) ByteString
- consumeWhile :: (Word8 -> Bool) -> StateT ByteString (Either Text) ByteString
- parseNumber :: StateT ByteString (Either Text) Word64
- bigendian :: ByteString -> Word64
- parseVector :: Word64 -> StateT ByteString (Either Text) ByteString
- append6Bits :: ([Word8], Word8) -> Word8 -> ([Word8], Word8)
- header :: Text -> Text -> Text
- ignoreHeader :: Text -> Text
Documentation
consume :: Word64 -> StateT ByteString (Either Text) ByteString Source #
Read the given number of bytes.
consumeWhile :: (Word8 -> Bool) -> StateT ByteString (Either Text) ByteString Source #
Read bytes until the given condition evaluates to false.
parseNumber :: StateT ByteString (Either Text) Word64 Source #
Parse a single number.
bigendian :: ByteString -> Word64 Source #
Parse a single number with big-endian encoding.
parseVector :: Word64 -> StateT ByteString (Either Text) ByteString Source #
Parse a vector with the given amount bits.
ignoreHeader :: Text -> Text Source #
Skips the header. Returns the rest of the text.