Copyright	(C) CSIRO 2017-2018
License	BSD3
Maintainer	George Wilson <george.wilson@data61.csiro.au>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell2010

Data.Svfactor.Text.Newline

Description

A sum type for line endings

Synopsis

Documentation

Newline is a sum type for line endings

Constructors

Instances

Eq Newline Source #
Instance details Defined in Data.Svfactor.Text.Newline Methods (==) :: Newline -> Newline -> Bool # (/=) :: Newline -> Newline -> Bool #
Ord Newline Source #
Instance details 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 Source #
Instance details Defined in Data.Svfactor.Text.Newline Methods showsPrec :: Int -> Newline -> ShowS # show :: Newline -> String # showList :: [Newline] -> ShowS #
NFData Newline Source #
Instance details Defined in Data.Svfactor.Text.Newline Methods rnf :: Newline -> () #
AsNewline Newline Source #
Instance details Defined in Data.Svfactor.Text.Newline Methods _Newline :: Prism' Newline Newline Source # _CR :: Prism' Newline () Source # _LF :: Prism' Newline () Source # _CRLF :: Prism' Newline () Source #

AsNewline is a classy prism for Newline

Minimal complete definition

Methods

Instances

AsNewline Text Source #
Instance details Defined in Data.Svfactor.Text.Newline Methods _Newline :: Prism' Text Newline Source # _CR :: Prism' Text () Source # _LF :: Prism' Text () Source # _CRLF :: Prism' Text () Source #
AsNewline Newline Source #
Instance details Defined in Data.Svfactor.Text.Newline Methods _Newline :: Prism' Newline Newline Source # _CR :: Prism' Newline () Source # _LF :: Prism' Newline () Source # _CRLF :: Prism' Newline () Source #

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

Try to parse text into a Newline