ASCII.Lift

Documentation

class Lift subset superset where

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.

Methods

lift :: subset -> superset

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

An ASCII Char may be lifted into any larger character set (a CharSuperset); for example, lift can convert an ASCII character into a value of the standard Char type in Prelude.

Defined in ASCII.Lift

Methods

lift :: Char -> superset

StringSuperset superset => Lift [Char] superset

An ASCII Char list may be lifted into a string of any larger character set (a StringSuperset); for example, lift can convert a list of ASCII characters into a value of the standard String type in Prelude.

Defined in ASCII.Lift

Methods

lift :: [Char] -> superset

Lift (ASCII superset) superset

A value from an ASCII superset that has been refined by the ASCII type constructor may be lifted back into the superset by unwrapping it from the ASCII type.

Defined in ASCII.Lift

Methods

lift :: ASCII superset -> superset