Waargonaut.Types.JChar

Types and functions for handling characters in JSON.

Types

data JChar digit

A JChar may be unescaped or escaped.

Constructors

EscapedJChar (Escaped digit)

UnescapedJChar Unescaped

Instances

Functor JChar

Defined in Waargonaut.Types.JChar

Methods

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

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

Foldable JChar

Defined in Waargonaut.Types.JChar

Methods

fold :: Monoid m => JChar m -> m

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

foldMap' :: Monoid m => (a -> m) -> JChar a -> m

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

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

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

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

foldr1 :: (a -> a -> a) -> JChar a -> a

foldl1 :: (a -> a -> a) -> JChar a -> a

toList :: JChar a -> [a]

null :: JChar a -> Bool

length :: JChar a -> Int

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

maximum :: Ord a => JChar a -> a

minimum :: Ord a => JChar a -> a

sum :: Num a => JChar a -> a

product :: Num a => JChar a -> a

Traversable JChar

Defined in Waargonaut.Types.JChar

Methods

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

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

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

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

Eq digit => Eq (JChar digit)

Defined in Waargonaut.Types.JChar

Methods

(==) :: JChar digit -> JChar digit -> Bool

(/=) :: JChar digit -> JChar digit -> Bool

Ord digit => Ord (JChar digit)

Defined in Waargonaut.Types.JChar

Methods

compare :: JChar digit -> JChar digit -> Ordering

(<) :: JChar digit -> JChar digit -> Bool

(<=) :: JChar digit -> JChar digit -> Bool

(>) :: JChar digit -> JChar digit -> Bool

(>=) :: JChar digit -> JChar digit -> Bool

max :: JChar digit -> JChar digit -> JChar digit

min :: JChar digit -> JChar digit -> JChar digit

Show digit => Show (JChar digit)

Defined in Waargonaut.Types.JChar

Methods

showsPrec :: Int -> JChar digit -> ShowS

show :: JChar digit -> String

showList :: [JChar digit] -> ShowS

AsUnescaped (JChar digit)

Defined in Waargonaut.Types.JChar

Methods

_Unescaped :: Prism' (JChar digit) Unescaped

AsJString [JChar HeXDigit]

Defined in Waargonaut.Types.JString

Methods

_JString :: Prism' [JChar HeXDigit] JString

AsEscaped (JChar digit) digit

Defined in Waargonaut.Types.JChar

Methods

_Escaped :: Prism' (JChar digit) (Escaped digit)

_QuotationMark :: Prism' (JChar digit) ()

_ReverseSolidus :: Prism' (JChar digit) ()

_Solidus :: Prism' (JChar digit) ()

_Backspace :: Prism' (JChar digit) ()

_WhiteSpace :: Prism' (JChar digit) Whitespace

_Hex :: Prism' (JChar digit) (HexDigit4 digit)

AsJChar (JChar digit) digit

Defined in Waargonaut.Types.JChar

Methods

_JChar :: Prism' (JChar digit) (JChar digit)

_EscapedJChar :: Prism' (JChar digit) (Escaped digit)

_UnescapedJChar :: Prism' (JChar digit) Unescaped

HasJChar (JChar digit) digit

Defined in Waargonaut.Types.JChar

Methods

jChar :: Lens' (JChar digit) (JChar digit)

class AsJChar r digit | r -> digit where

Typeclass for things that be used as a JChar.

Minimal complete definition

_JChar

Methods

_JChar :: Prism' r (JChar digit)

_EscapedJChar :: Prism' r (Escaped digit)

_UnescapedJChar :: Prism' r Unescaped

Instances

AsJChar (JChar digit) digit

Defined in Waargonaut.Types.JChar

Methods

_JChar :: Prism' (JChar digit) (JChar digit)

_EscapedJChar :: Prism' (JChar digit) (Escaped digit)

_UnescapedJChar :: Prism' (JChar digit) Unescaped

class HasJChar c digit | c -> digit where

Typeclass for things that have a JChar.

Methods

jChar :: Lens' c (JChar digit)

Instances

HasJChar (JChar digit) digit

Defined in Waargonaut.Types.JChar

Methods

jChar :: Lens' (JChar digit) (JChar digit)

Parser

parseJChar :: (CharParsing f, HeXaDeCiMaL digit) => f (JChar digit)

Parse a JSON character.

>>> testparse parseJChar "\\u1234" :: Either DecodeError (JChar HeXDigit)
Right (EscapedJChar (Hex (HexDigit4 HeXDigit1 HeXDigit2 HeXDigit3 HeXDigit4)))

>>> testparse parseJChar "\\\\" :: Either DecodeError (JChar HeXDigit)
Right (EscapedJChar ReverseSolidus)

>>> testparse parseJChar "\\r"
Right (EscapedJChar (WhiteSpace CarriageReturn))

>>> testparsetheneof parseJChar "a"
Right (UnescapedJChar (Unescaped 'a'))

>>> testparsethennoteof parseJChar "ax"
Right (UnescapedJChar (Unescaped 'a'))

Conversion

utf8CharToJChar :: Char -> JChar HeXDigit

Convert a Char to 'JChar HexDigit' and replace any invalid values with U+FFFD as per the Text documentation.

Refer to 'Text' documentation for more info.

jCharToUtf8Char :: JChar HeXDigit -> Maybe Char

Try to convert a JChar to a Text safe Char value. Refer to the link for more info: https://hackage.haskell.org/package/text-1.2.3.0/docs/Data-Text-Internal.html#v:safe

jCharToChar :: JChar HeXDigit -> Char

Convert a JChar to a Haskell Char

charToJChar :: Char -> Maybe (JChar HeXDigit)

Attempt to convert a Haskell Char to a JSON acceptable JChar