JSONEncoder

Documentation

run :: Value a -> a -> Builder

Value

data Value a

Instances

Divisible Value

Methods

divide :: (a -> (b, c)) -> Value b -> Value c -> Value a

conquer :: Value a

Decidable Value

Methods

lose :: (a -> Void) -> Value a

choose :: (a -> Either b c) -> Value b -> Value c -> Value a

Contravariant Value

Methods

contramap :: (a -> b) -> Value b -> Value a

(>$) :: b -> Value b -> Value a

null :: Value ()

boolean :: Value Bool

number_integral :: Integral a => Value a

number_scientific :: Value Scientific

string :: Value Text

object :: Object a -> Value a

array :: Array a -> Value a

nullable :: Value a -> Value (Maybe a)

Object

data Object a

Instances

Divisible Object

Methods

divide :: (a -> (b, c)) -> Object b -> Object c -> Object a

conquer :: Object a

Decidable Object

Methods

lose :: (a -> Void) -> Object a

choose :: (a -> Either b c) -> Object b -> Object c -> Object a

Contravariant Object

Methods

contramap :: (a -> b) -> Object b -> Object a

(>$) :: b -> Object b -> Object a

Semigroup (Object a)

Methods

(<>) :: Object a -> Object a -> Object a

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

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

Monoid (Object a)

Methods

mempty :: Object a

mappend :: Object a -> Object a -> Object a

mconcat :: [Object a] -> Object a

field :: Text -> Value a -> Object a

row :: Value a -> Object (Text, a)

Array

data Array a

Instances

Contravariant Array

Methods

contramap :: (a -> b) -> Array b -> Array a

(>$) :: b -> Array b -> Array a

homo :: (forall a. (a -> b -> a) -> a -> c -> a) -> Value b -> Array c

A homogenous array.

hetero :: Hetero a -> Array a

A heterogenous array encoder.

Hetero

data Hetero a

Instances

Divisible Hetero

Methods

divide :: (a -> (b, c)) -> Hetero b -> Hetero c -> Hetero a

conquer :: Hetero a

Decidable Hetero

Methods

lose :: (a -> Void) -> Hetero a

choose :: (a -> Either b c) -> Hetero b -> Hetero c -> Hetero a

Contravariant Hetero

Methods

contramap :: (a -> b) -> Hetero b -> Hetero a

(>$) :: b -> Hetero b -> Hetero a

Semigroup (Hetero a)

Methods

(<>) :: Hetero a -> Hetero a -> Hetero a

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

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

Monoid (Hetero a)

Methods

mempty :: Hetero a

mappend :: Hetero a -> Hetero a -> Hetero a

mconcat :: [Hetero a] -> Hetero a

element :: Value a -> Hetero a