Encode a human-readable string and data payload into a Bech32 string.

Like encode but allows output to be longer than 90 characters. This isn't ideal as the error detection becomes worse as string get longer but it's still acceptable.

From BIP-0173:

Even though the chosen code performs reasonably well up to 1023 characters, other designs are preferable for lengths above 89 characters (excluding the separator).

Represents the set of error conditions that may occur while encoding a Bech32 string.

Decode a Bech32 string into a human-readable part and data part.

Like decode but does not enforce a maximum length. See also encodeLenient for details.

Represents the set of errors that may occur while decoding a Bech32 string with the decode function.

The length of the checksum portion of an encoded string, in bytes.

The maximum length of an encoded string, in bytes. This length includes the human-readable part, the separator character, the encoded data portion, and the checksum.

The minimum length of an encoded string, in bytes. This length includes the human-readable part, the separator character, the encoded data portion, and the checksum.

The separator character. This character appears immediately after the human-readable part and before the data part.

The length of the separator portion of an encoded string, in bytes.

Represents the data part of a Bech32 string, as defined here: https://git.io/fj8FS

Returns true iff. the specified DataPart is valid.

Constructs a DataPart from a ByteString.

This function encodes a ByteString in such a way that guarantees it can be successfully decoded with the dataPartToBytes function:

dataPartToBytes (dataPartFromBytes b) == Just b

Constructs a DataPart from textual input. All characters in the input must be a member of dataCharList, the set of characters permitted to appear within the data part of a Bech32 string.

Returns Nothing if any character in the input is not a member of dataCharList.

This function guarantees to satisfy the following property:

dataPartFromText (dataPartToText d) == Just d

Construct a DataPart directly from words.

This function guarantees to satisfy the following properties:

dataPartFromWords (dataPartToWords d) == d
dataPartToWords (dataPartFromWords w) == w

Attempts to extract a ByteString from a DataPart.

This function guarantees to satisfy the following property:

dataPartToBytes (dataPartFromBytes b) == Just b

Converts a DataPart to Text, using the Bech32 character set to render the data.

This function guarantees to satisfy the following property:

dataPartFromText (dataPartToText d) == Just d

Convert a DataPart into words.

If the specified character is permitted to appear within the data part of a Bech32 string, this function returns that character's corresponding Word5 value. If the specified character is not permitted, or if the specified character is upper-case, returns Nothing.

Maps the specified Word5 onto a character that is permitted to appear within the data part of a Bech32 string.

A list of all characters that are permitted to appear within the data part of a Bech32 string. See here for more details: https://git.io/fj8FS

Represents the human-readable part of a Bech32 string, as defined here: https://git.io/fj8FS

Represents the set of error conditions that may occur while parsing the human-readable part of a Bech32 string.

Parses the human-readable part of a Bech32 string, as defined here: https://git.io/fj8FS

Get the raw text of the human-readable part of a Bech32 string.

Convert the specified human-readable part to a list of words.

The shortest length permitted for the human-readable part of a Bech32 string.

The longest length permitted for the human-readable part of a Bech32 string.

The lower bound of the set of characters permitted to appear within the human-readable part of a Bech32 string.

The upper bound of the set of characters permitted to appear within the human-readable part of a Bech32 string.

Big-endian conversion of a word string from base '2^frombits' to base '2^tobits'. The frombits and twobits parameters must be positive, while '2^frombits' and '2^tobits' must be smaller than the size of Word. Every value in dat must be strictly smaller than '2^frombits'.

The zero-based position of a character in a string, counting from the left.