ASCII.Superset

Characters

Class

class CharSuperset char where

Methods

isAsciiChar :: char -> Bool

fromChar :: Char -> char

toCharUnsafe :: char -> Char

Instances

CharSuperset Char

Defined in ASCII.Superset

Methods

isAsciiChar :: Char -> Bool

fromChar :: Char0 -> Char

toCharUnsafe :: Char -> Char0

CharSuperset Int

Defined in ASCII.Superset

Methods

isAsciiChar :: Int -> Bool

fromChar :: Char -> Int

toCharUnsafe :: Int -> Char

CharSuperset Natural

Defined in ASCII.Superset

Methods

isAsciiChar :: Natural -> Bool

fromChar :: Char -> Natural

toCharUnsafe :: Natural -> Char

CharSuperset Word8

Defined in ASCII.Superset

Methods

isAsciiChar :: Word8 -> Bool

fromChar :: Char -> Word8

toCharUnsafe :: Word8 -> Char

CharSuperset Char

Char is trivially a superset of itself. (This instance is uninteresting.)

Defined in ASCII.Superset

Methods

isAsciiChar :: Char -> Bool

fromChar :: Char -> Char

toCharUnsafe :: Char -> Char

CharSuperset char => CharSuperset (ASCII char)

Defined in ASCII.Refinement

Methods

isAsciiChar :: ASCII char -> Bool

fromChar :: Char -> ASCII char

toCharUnsafe :: ASCII char -> Char

Functions

asCharUnsafe :: CharSuperset char => (Char -> Char) -> char -> char

toCharMaybe :: CharSuperset char => char -> Maybe Char

toCharOrFail :: (CharSuperset char, MonadFail context) => char -> context Char

toCharSub :: CharSuperset char => char -> Char

substituteChar :: CharSuperset char => char -> char

convertCharMaybe :: (CharSuperset char1, CharSuperset char2) => char1 -> Maybe char2

Convert from one ASCII-superset character type to another via the ASCII Char type. Fails as Nothing if the input is outside the ASCII character set.

convertCharOrFail :: (CharSuperset char1, CharSuperset char2, MonadFail context) => char1 -> context char2

Convert from one ASCII-superset character type to another via the ASCII Char type. Fails with fail if the input is outside the ASCII character set.

Strings

Class

class StringSuperset string where

Minimal complete definition

isAsciiString, fromCharList, toCharListUnsafe, toCharListSub, substituteString

Methods

isAsciiString :: string -> Bool

fromCharList :: [Char] -> string

toCharListUnsafe :: string -> [Char]

toCharListSub :: string -> [Char]

substituteString :: string -> string

mapCharsUnsafe :: (Char -> Char) -> string -> string

Instances

StringSuperset ByteString

Defined in ASCII.Superset

Methods

isAsciiString :: ByteString -> Bool

fromCharList :: [Char] -> ByteString

toCharListUnsafe :: ByteString -> [Char]

toCharListSub :: ByteString -> [Char]

substituteString :: ByteString -> ByteString

mapCharsUnsafe :: (Char -> Char) -> ByteString -> ByteString

StringSuperset ByteString

Defined in ASCII.Superset

Methods

isAsciiString :: ByteString -> Bool

fromCharList :: [Char] -> ByteString

toCharListUnsafe :: ByteString -> [Char]

toCharListSub :: ByteString -> [Char]

substituteString :: ByteString -> ByteString

mapCharsUnsafe :: (Char -> Char) -> ByteString -> ByteString

StringSuperset Builder

Defined in ASCII.Superset

Methods

isAsciiString :: Builder -> Bool

fromCharList :: [Char] -> Builder

toCharListUnsafe :: Builder -> [Char]

toCharListSub :: Builder -> [Char]

substituteString :: Builder -> Builder

mapCharsUnsafe :: (Char -> Char) -> Builder -> Builder

StringSuperset Builder

Defined in ASCII.Superset

Methods

isAsciiString :: Builder -> Bool

fromCharList :: [Char] -> Builder

toCharListUnsafe :: Builder -> [Char]

toCharListSub :: Builder -> [Char]

substituteString :: Builder -> Builder

mapCharsUnsafe :: (Char -> Char) -> Builder -> Builder

StringSuperset Text

Defined in ASCII.Superset

Methods

isAsciiString :: Text -> Bool

fromCharList :: [Char] -> Text

toCharListUnsafe :: Text -> [Char]

toCharListSub :: Text -> [Char]

substituteString :: Text -> Text

mapCharsUnsafe :: (Char -> Char) -> Text -> Text

StringSuperset Text

Defined in ASCII.Superset

Methods

isAsciiString :: Text -> Bool

fromCharList :: [Char] -> Text

toCharListUnsafe :: Text -> [Char]

toCharListSub :: Text -> [Char]

substituteString :: Text -> Text

mapCharsUnsafe :: (Char -> Char) -> Text -> Text

CharSuperset char => StringSuperset [char]

Defined in ASCII.Superset

Methods

isAsciiString :: [char] -> Bool

fromCharList :: [Char] -> [char]

toCharListUnsafe :: [char] -> [Char]

toCharListSub :: [char] -> [Char]

substituteString :: [char] -> [char]

mapCharsUnsafe :: (Char -> Char) -> [char] -> [char]

StringSuperset string => StringSuperset (ASCII string)

Defined in ASCII.Refinement

Methods

isAsciiString :: ASCII string -> Bool

fromCharList :: [Char] -> ASCII string

toCharListUnsafe :: ASCII string -> [Char]

toCharListSub :: ASCII string -> [Char]

substituteString :: ASCII string -> ASCII string

mapCharsUnsafe :: (Char -> Char) -> ASCII string -> ASCII string

Functions

toCharListMaybe :: StringSuperset string => string -> Maybe [Char]

toCharListOrFail :: (StringSuperset string, MonadFail context) => string -> context [Char]

convertStringMaybe :: (StringSuperset string1, StringSuperset string2) => string1 -> Maybe string2

Convert from one ASCII-superset string type to another by converting each character of the input string to an ASCII Char, and then converting the ASCII character list to the desired output type. Fails as Nothing if the input contains any character that is outside the ASCII character set.

convertStringOrFail :: (StringSuperset string1, StringSuperset string2, MonadFail context) => string1 -> context string2

Convert from one ASCII-superset string type to another by converting each character of the input string to an ASCII Char, and then converting the ASCII character list to the desired output type. Fails with fail if the input contains any character that is outside the ASCII character set.