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

ASCII.Isomorphism

Documentation

class CharSuperset char => CharIso char where Source #

Methods

toChar :: char -> Char Source #

Instances

Instances details
CharIso Char Source #

Char is trivially isomorphic to itself. (This instance is uninteresting.)

Instance details

Defined in ASCII.Isomorphism

Methods

toChar :: Char -> Char Source #

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

Defined in ASCII.Refinement

Methods

toChar :: ASCII char -> Char Source #

asChar :: CharIso char => (Char -> Char) -> char -> char Source #

class StringSuperset string => StringIso string where Source #

Methods

toCharList :: string -> [Char] Source #

mapChars :: (Char -> Char) -> string -> string Source #

Instances

Instances details
CharIso char => StringIso [char] Source # 
Instance details

Defined in ASCII.Isomorphism

Methods

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

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

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

Defined in ASCII.Refinement

Methods

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

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