Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
(lift CapitalLetterA :: Word8) == 65 (lift [CapitalLetterH, SmallLetterI, ExclamationMark] :: Text) == "Hi!"
Documentation
class Lift subset superset where Source #
Embedding of one character set within another
The subset
and superset
types may be characters or strings in
ASCII, some subset of ASCII, or some superset of ASCII.
lift :: subset -> superset Source #
Converts from a smaller to a larger type
Due to the highly polymorphic nature of the lift
function,
often it must used with an explicit type signature or type
application to avoid any type ambiguity.
Instances
CharSuperset superset => Lift Char superset Source # | An ASCII |
Defined in ASCII.Lift | |
Lift a a Source # | |
Defined in ASCII.Lift | |
Lift (ASCII superset) superset Source # | A value from an ASCII superset that has been refined by the |
Defined in ASCII.Lift | |
StringSuperset superset => Lift [Char] superset Source # | An ASCII |
Defined in ASCII.Lift | |
Lift (ASCII'case letterCase superset) superset Source # | |
Defined in ASCII.Lift lift :: ASCII'case letterCase superset -> superset Source # |