ASCII.Lift

Documentation

class Lift ascii superset where

Methods

lift :: ascii -> superset

Converts from ASCII to any 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).

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).

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