ascii-superset-1.0.0.4: Representing ASCII with refined supersets
Safe HaskellNone
LanguageHaskell2010

ASCII.Superset

Synopsis

Characters

Class

class CharSuperset char where Source #

Methods

isAsciiChar :: char -> Bool Source #

fromChar :: Char -> char Source #

toCharUnsafe :: char -> Char Source #

Instances

Instances details
CharSuperset Char Source # 
Instance details

Defined in ASCII.Superset

CharSuperset Int Source # 
Instance details

Defined in ASCII.Superset

CharSuperset Natural Source # 
Instance details

Defined in ASCII.Superset

CharSuperset Word8 Source # 
Instance details

Defined in ASCII.Superset

CharSuperset Char Source #

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

Instance details

Defined in ASCII.Superset

CharSuperset char => CharSuperset (ASCII char) Source # 
Instance details

Defined in ASCII.Refinement

Functions

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

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

toCharSub :: CharSuperset char => char -> Char Source #

substituteChar :: CharSuperset char => char -> char Source #

Strings

Class

class StringSuperset string where Source #

Methods

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

Instances details
StringSuperset ByteString Source # 
Instance details

Defined in ASCII.Superset

StringSuperset ByteString Source # 
Instance details

Defined in ASCII.Superset

StringSuperset Builder Source # 
Instance details

Defined in ASCII.Superset

StringSuperset Builder Source # 
Instance details

Defined in ASCII.Superset

StringSuperset Text Source # 
Instance details

Defined in ASCII.Superset

StringSuperset Text Source # 
Instance details

Defined in ASCII.Superset

CharSuperset char => StringSuperset [char] Source # 
Instance details

Defined in ASCII.Superset

Methods

isAsciiString :: [char] -> Bool Source #

fromCharList :: [Char] -> [char] Source #

toCharListUnsafe :: [char] -> [Char] Source #

toCharListSub :: [char] -> [Char] Source #

substituteString :: [char] -> [char] Source #

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

StringSuperset string => StringSuperset (ASCII string) Source # 
Instance details

Defined in ASCII.Refinement

Methods

isAsciiString :: ASCII string -> Bool Source #

fromCharList :: [Char] -> ASCII string Source #

toCharListUnsafe :: ASCII string -> [Char] Source #

toCharListSub :: ASCII string -> [Char] Source #

substituteString :: ASCII string -> ASCII string Source #

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

Functions

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

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