Data.Radix1Tree.Word8.Key.Unsafe

Non-empty radix tree key internals, and unsafe functions for building and destroying them.

Build

newtype Build1

Non-empty key as stored in the radix tree.

Constructors

Build1

Fields

• (YtpmeNon ByteArray)

  List of memory chunks that constitute the key.

  The first chunk is at the bottom of the list.

Instances

Show Build1

Defined in Data.RadixNTree.Word8.Key

Methods

showsPrec :: Int -> Build1 -> ShowS

show :: Build1 -> String

showList :: [Build1] -> ShowS

data YtpmeNon a

Snoc-list with a guaranteed element at the back.

Constructors

(Tsil a) :/ a

data Tsil a

Snoc-list.

Constructors

Lin

Snoc (Tsil a) a

Text

unsafeBuildText :: Build1 -> Text

Convert a key into a non-empty strict Text.

No checks are made to ensure the resulting value is a valid sequence of UTF-8 code units.

Feed

data Feed1

Key as a non-empty sequence of individual bytes.

Constructors

Feed1

Fields

• !Word8

  First byte of the key.

• (forall a. (forall x. (x -> Step Word8 x) -> x -> a) -> a)

  destroy part of the destroy/unfoldr rule.

Instances

Show Feed1

Defined in Data.RadixNTree.Word8.Key

Methods

showsPrec :: Int -> Feed1 -> ShowS

show :: Feed1 -> String

showList :: [Feed1] -> ShowS

data Step a b

Single step of destroying a key.

Constructors

More a b

Done

ByteString

unsafeFeedByteString :: ByteString -> Feed1

Convert a strict ByteString into a key.

The ByteString is assumed to be non-empty.

unsafeFeedShortByteString :: ShortByteString -> Feed1

Convert a ShortByteString into a key.

The ShortByteString is assumed to be non-empty.

unsafeFeedLazyByteString :: ByteString -> ByteString -> Feed1

Convert a lazy ByteString, in the form of the first chunk plus the rest, into a key.

The first chunk is assumed to be non-empty.

Text

unsafeFeedText :: Text -> Feed1

Convert a strict Text into a key.

The Text is assumed to be non-empty.

unsafeFeedLazyText :: Text -> Text -> Feed1

Convert a lazy Text, in the form of the first chunk plus the rest, into a key.

The first chunk is assumed to be non-empty.