Data.BitSetWord8

Space efficient set of Word8 and some pre-canned sets useful for parsing HTTP related ByteString. This packaged is intended to provide O(1) membership test on any subset of ASCII and Latin-1 character set in order to write efficient HTTP related parser.

Creating your own set

You can create your own set by fromList.

myCharSet :: BitSetWord8
myCharSet = fromList [ Y, y, N, n ]

You can create pre-evaluated set using Template Haskell.

import Language.Haskell.TH.Syntax (Lift, lift)

myPreEvaluatedCharSet :: BitSetWord8
myPreEvaluatedCharSet = $(lift myCharSet)

Example Usage

import Data.Attoparsec.ByteString

-- | Parse RFC7230 token.
token :: Parser ByteString
token = takeWhile1 (member rfc7230TChar)

Types

data BitSetWord8

Bitwise set of Word8. Space efficient backend and O(1) membership test.

Instances

Eq BitSetWord8

Defined in Data.BitSetWord8.Internal

Methods

(==) :: BitSetWord8 -> BitSetWord8 -> Bool

(/=) :: BitSetWord8 -> BitSetWord8 -> Bool

Show BitSetWord8

Defined in Data.BitSetWord8.Internal

Methods

showsPrec :: Int -> BitSetWord8 -> ShowS

show :: BitSetWord8 -> String

showList :: [BitSetWord8] -> ShowS

Lift BitSetWord8

Defined in Data.BitSetWord8.Internal

Methods

lift :: BitSetWord8 -> Q Exp

Useful charset constants in BitSetWord8

rfc3986UriReference :: BitSetWord8

URI-Reference of RFC3986 in BitSetWord8. Evaluated at compile time.

rfc7230TChar :: BitSetWord8

tcher of RFC7230 in BitSetWord8. Evaluated at compile time.

rfc7230QDText :: BitSetWord8

qdtext of RFC7230 in BitSetWord8. Evaluated at compile time.

rfc7230QuotedPair :: BitSetWord8

quoted-string of RFC7230 in BitSetWord8. Evaluated at compile time.

Source Constants

rfc3986UriReference' :: [Char]

URI-Reference of RFC3986 in Char list.

rfc7230QDText' :: [Char]

qdtext of RFC7230 in Char list.

rfc7230QuotedPair' :: [Char]

quoted-pair of RFC7230 in Char list.

rfc5234Digit' :: [Char]

DIGIT of RFC5324 in Char list.

rfc2616UpAlpha' :: [Char]

UPALPHA of RFC2616 in Char list. Note that RFC2616 has been obsoleted by RFC7230 and RFC7230 doesn't define UPALPHA.

rfc2616LoAlpha' :: [Char]

LOALPHA of RFC2616 in Char list. Note that RFC2616 has been obsoleted by RFC7230 and RFC7230 doesn't define LOALPHA.

rfc5234Alpha' :: [Char]

ALPHA of RFC5324 in Char list.

rfc5234HexDig' :: [Char]

HEXDIG of RFC5324 in Char list.

rfc5234VChar' :: [Char]

VCHAR of RFC5324 in Char list.

rfc5324Wsp' :: [Char]

WSP (aka white space) of RFC5324 in Char list.

rfc3986SubDelims' :: [Char]

sub-delim of RFC3986 in Char list.

rfc3986GenDelims' :: [Char]

gen-delim of RFC3986 in Char list.

rfc3986Reserved' :: [Char]

reserved of RFC3986 in Char list.

rfc3986Unreserved' :: [Char]

unreserved of RFC3986 in Char list.

rfc3986PctEncodedChar' :: [Char]

pct-encoded of RFC3986 in Char list.

rfc3986PChar' :: [Char]

pchar of RFC3986 in Char list.

rfc7230TChar' :: [Char]

tchar of RFC7230 in Char list.

rfc7230ObsText' :: [Char]

obs-text of RFC7230 in Char list.

Functions

fromList :: [Char] -> BitSetWord8

Convert given List of Char into packed bitwise set of Word64. Any Char having code point greater than 0xff is ignored.

member :: BitSetWord8 -> Word8 -> Bool

O(1). Return True if given Word8 is a member of given BitSetWord8.