ASCII.Isomorphism

Documentation

class CharSuperset char => CharIso char where

Methods

toChar :: char -> Char

Instances

CharIso Char

Char is trivially isomorphic to itself.

Defined in ASCII.Isomorphism

Methods

toChar :: Char -> Char

CharSuperset char => CharIso (ASCII char)

Defined in ASCII.Refinement

Methods

toChar :: ASCII char -> Char

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

class StringSuperset string => StringIso string where

Methods

toCharList :: string -> [Char]

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

Instances

CharIso char => StringIso [char]

Defined in ASCII.Isomorphism

Methods

toCharList :: [char] -> [Char]

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

StringSuperset string => StringIso (ASCII string)

Defined in ASCII.Refinement

Methods

toCharList :: ASCII string -> [Char]

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