Data.Svfactor.Text.Escape

Quote characters can be escaped in CSV documents by using two quote characters instead of one. sv's parser will unescape these sequences as it parses them, so it wraps them in the newtype Unescaped

Encoding requires you to provide an Escaper, which is a function to escape strings on the way out.

Documentation

newtype Unescaped a

Wrapper for text that is known to be in an unescaped form

Constructors

Unescaped

Fields

• getRawUnescaped :: a

Instances

Functor Unescaped

Defined in Data.Svfactor.Text.Escape

Methods

fmap :: (a -> b) -> Unescaped a -> Unescaped b

(<$) :: a -> Unescaped b -> Unescaped a

Foldable Unescaped

Defined in Data.Svfactor.Text.Escape

Methods

fold :: Monoid m => Unescaped m -> m

foldMap :: Monoid m => (a -> m) -> Unescaped a -> m

foldr :: (a -> b -> b) -> b -> Unescaped a -> b

foldr' :: (a -> b -> b) -> b -> Unescaped a -> b

foldl :: (b -> a -> b) -> b -> Unescaped a -> b

foldl' :: (b -> a -> b) -> b -> Unescaped a -> b

foldr1 :: (a -> a -> a) -> Unescaped a -> a

foldl1 :: (a -> a -> a) -> Unescaped a -> a

toList :: Unescaped a -> [a]

null :: Unescaped a -> Bool

length :: Unescaped a -> Int

elem :: Eq a => a -> Unescaped a -> Bool

maximum :: Ord a => Unescaped a -> a

minimum :: Ord a => Unescaped a -> a

sum :: Num a => Unescaped a -> a

product :: Num a => Unescaped a -> a

Traversable Unescaped

Defined in Data.Svfactor.Text.Escape

Methods

traverse :: Applicative f => (a -> f b) -> Unescaped a -> f (Unescaped b)

sequenceA :: Applicative f => Unescaped (f a) -> f (Unescaped a)

mapM :: Monad m => (a -> m b) -> Unescaped a -> m (Unescaped b)

sequence :: Monad m => Unescaped (m a) -> m (Unescaped a)

Eq a => Eq (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Methods

(==) :: Unescaped a -> Unescaped a -> Bool

(/=) :: Unescaped a -> Unescaped a -> Bool

Ord a => Ord (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Methods

compare :: Unescaped a -> Unescaped a -> Ordering

(<) :: Unescaped a -> Unescaped a -> Bool

(<=) :: Unescaped a -> Unescaped a -> Bool

(>) :: Unescaped a -> Unescaped a -> Bool

(>=) :: Unescaped a -> Unescaped a -> Bool

max :: Unescaped a -> Unescaped a -> Unescaped a

min :: Unescaped a -> Unescaped a -> Unescaped a

Show a => Show (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Methods

showsPrec :: Int -> Unescaped a -> ShowS

show :: Unescaped a -> String

showList :: [Unescaped a] -> ShowS

Generic (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Associated Types

type Rep (Unescaped a) :: * -> *

Methods

from :: Unescaped a -> Rep (Unescaped a) x

to :: Rep (Unescaped a) x -> Unescaped a

Semigroup a => Semigroup (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Methods

(<>) :: Unescaped a -> Unescaped a -> Unescaped a

sconcat :: NonEmpty (Unescaped a) -> Unescaped a

stimes :: Integral b => b -> Unescaped a -> Unescaped a

Monoid a => Monoid (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Methods

mempty :: Unescaped a

mappend :: Unescaped a -> Unescaped a -> Unescaped a

mconcat :: [Unescaped a] -> Unescaped a

NFData a => NFData (Unescaped a)

Defined in Data.Svfactor.Text.Escape

Methods

rnf :: Unescaped a -> ()

type Rep (Unescaped a)

Defined in Data.Svfactor.Text.Escape

type Rep (Unescaped a) = D1 (MetaData "Unescaped" "Data.Svfactor.Text.Escape" "svfactor-0.1-GDLTyJD8FfREVKdyivwTvx" True) (C1 (MetaCons "Unescaped" PrefixI True) (S1 (MetaSel (Just "getRawUnescaped") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)))

type Escaper s t = Char -> Unescaped s -> t

A function that, given a char, escapes all occurrences of that char.

This version allows the escaping to be type-changing. For example, escaping a single char can result in a string with two characters.

type Escaper' a = Char -> Unescaped a -> a

A function that, given a char, escapes all occurrences of that char.

escapeString :: Escaper' String

Replaces all occurrences of the given character with two occurrences of that character, non-recursively, in the given String.

>>> escapeString ''' "hello 'string'"
"hello ''string''"

escapeText :: Escaper' Text

Replaces all occurrences of the given character with two occurrences of that character in the given Text

{- LANGUAGE OverloadedStrings -}

>>> escapeText ''' "hello text"
"hello 'text'"

escapeUtf8 :: Escaper' ByteString

Replaces all occurrences of the given character with two occurrences of that character in the given ByteString, which is assumed to be UTF-8 compatible.

{- LANGUAGE OverloadedStrings -}
>>> escapeUtf8 ''' "hello bytestring"
"hello 'bytestring'"

escapeUtf8Lazy :: Escaper' ByteString

Replaces all occurrences of the given character with two occurrences of that character in the given lazy ByteString, which is assumed to be UTF-8 compatible.

{- LANGUAGE OverloadedStrings -}

>>> escapeUtf8Lazy ''' "hello 'lazy bytestring'"
"hello ''lazy bytestring''"

escapeChar :: Escaper Char String

Escape a character, which must return a string.

>>> escapeChar ''' '''
"''"

>>> escapeChar ''' 'z'
"z"