Data.Svfactor.Text.Newline

A sum type for line endings

Documentation

data Newline

Newline is a sum type for line endings

Constructors

CR

"\r"

LF

"\n"

CRLF

"\rn"

Instances

Eq Newline

Defined in Data.Svfactor.Text.Newline

Methods

(==) :: Newline -> Newline -> Bool

(/=) :: Newline -> Newline -> Bool

Ord Newline

Defined in Data.Svfactor.Text.Newline

Methods

compare :: Newline -> Newline -> Ordering

(<) :: Newline -> Newline -> Bool

(<=) :: Newline -> Newline -> Bool

(>) :: Newline -> Newline -> Bool

(>=) :: Newline -> Newline -> Bool

max :: Newline -> Newline -> Newline

min :: Newline -> Newline -> Newline

Show Newline

Defined in Data.Svfactor.Text.Newline

Methods

showsPrec :: Int -> Newline -> ShowS

show :: Newline -> String

showList :: [Newline] -> ShowS

NFData Newline

Defined in Data.Svfactor.Text.Newline

Methods

rnf :: Newline -> ()

AsNewline Newline

Defined in Data.Svfactor.Text.Newline

Methods

_Newline :: Prism' Newline Newline

_CR :: Prism' Newline ()

_LF :: Prism' Newline ()

_CRLF :: Prism' Newline ()

class AsNewline r where

AsNewline is a classy prism for Newline

Minimal complete definition

_Newline

Methods

_Newline :: Prism' r Newline

_CR :: Prism' r ()

_LF :: Prism' r ()

_CRLF :: Prism' r ()

Instances

AsNewline Text

Defined in Data.Svfactor.Text.Newline

Methods

_Newline :: Prism' Text Newline

_CR :: Prism' Text ()

_LF :: Prism' Text ()

_CRLF :: Prism' Text ()

AsNewline Newline

Defined in Data.Svfactor.Text.Newline

Methods

_Newline :: Prism' Newline Newline

_CR :: Prism' Newline ()

_LF :: Prism' Newline ()

_CRLF :: Prism' Newline ()

newlineToString :: IsString s => Newline -> s

Convert a Newline to a String. Since this uses IsString, it works for other data types, like Text or ByteString.

parseNewline :: Text -> Maybe Newline

Try to parse text into a Newline