Safe Haskell | None |
---|---|
Language | Haskell2010 |
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.
>>>
lift CapitalLetterA :: Word8
65
>>>
lift [CapitalLetterH,SmallLetterI,ExclamationMark] :: Text
"Hi!"
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 | |
StringSuperset superset => Lift [Char] superset Source # | An ASCII |
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 |