Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- class CharSuperset char where
- isAsciiChar :: char -> Bool
- fromChar :: Char -> char
- toCharUnsafe :: char -> Char
- 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
- convertCharOrFail :: (CharSuperset char1, CharSuperset char2, MonadFail context) => char1 -> context char2
- class StringSuperset string where
- isAsciiString :: string -> Bool
- fromCharList :: [Char] -> string
- toCharListUnsafe :: string -> [Char]
- toCharListSub :: string -> [Char]
- substituteString :: string -> string
- mapCharsUnsafe :: (Char -> Char) -> string -> string
- toCharListMaybe :: StringSuperset string => string -> Maybe [Char]
- toCharListOrFail :: (StringSuperset string, MonadFail context) => string -> context [Char]
- convertStringMaybe :: (StringSuperset string1, StringSuperset string2) => string1 -> Maybe string2
- convertStringOrFail :: (StringSuperset string1, StringSuperset string2, MonadFail context) => string1 -> context string2
Characters
Class
class CharSuperset char where Source #
isAsciiChar :: char -> Bool Source #
fromChar :: Char -> char Source #
toCharUnsafe :: char -> Char Source #
Instances
CharSuperset Char Source # | |
Defined in ASCII.Superset | |
CharSuperset Int Source # | |
Defined in ASCII.Superset | |
CharSuperset Natural Source # | |
Defined in ASCII.Superset | |
CharSuperset Word8 Source # | |
Defined in ASCII.Superset | |
CharSuperset Char Source # |
|
Defined in ASCII.Superset isAsciiChar :: Char -> Bool Source # fromChar :: Char -> Char Source # toCharUnsafe :: Char -> Char Source # | |
CharSuperset char => CharSuperset (ASCII char) Source # | |
Defined in ASCII.Refinement |
Functions
asCharUnsafe :: CharSuperset char => (Char -> Char) -> char -> char Source #
toCharMaybe :: CharSuperset char => char -> Maybe Char Source #
toCharOrFail :: (CharSuperset char, MonadFail context) => char -> context Char Source #
toCharSub :: CharSuperset char => char -> Char Source #
substituteChar :: CharSuperset char => char -> char Source #
convertCharMaybe :: (CharSuperset char1, CharSuperset char2) => char1 -> Maybe char2 Source #
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 Source #
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 Source #
isAsciiString :: string -> Bool Source #
fromCharList :: [Char] -> string Source #
toCharListUnsafe :: string -> [Char] Source #
toCharListSub :: string -> [Char] Source #
substituteString :: string -> string Source #
mapCharsUnsafe :: (Char -> Char) -> string -> string Source #
Instances
Functions
toCharListMaybe :: StringSuperset string => string -> Maybe [Char] Source #
toCharListOrFail :: (StringSuperset string, MonadFail context) => string -> context [Char] Source #
convertStringMaybe :: (StringSuperset string1, StringSuperset string2) => string1 -> Maybe string2 Source #
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 Source #
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.