JSONEncoder

Documentation

run :: Value a -> a -> Builder

Value

data Value a

Instances

Divisible Value

Decidable Value

Contravariant Value

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

Decidable Object

Contravariant Object

Monoid (Object a)

Semigroup (Object a)

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

Array

data Array a

Instances

Contravariant Array

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

Decidable Hetero

Contravariant Hetero

Monoid (Hetero a)

Semigroup (Hetero a)

element :: Value a -> Hetero a