Data.Aeson.Unit

Common problem in REST interfaces when you need to return nothing as result, usage of `()` will produce `[]` JSON. That causes problems in some JSON parsers in other languages.

So, Unit serialises into empty JSON object:

>>> encode Unit
"{}"

Documentation

data Unit

Data type that serialise into empty object in aeson

>>> encode Unit
"{}"

>>> encode $ toSchema (Proxy :: Proxy Unit)
"{\"type\":\"object\"}"

Also the FromJSON instance is just `pure Unit`, so it never fails.

Constructors

Unit

Instances

Bounded Unit

Defined in Data.Aeson.Unit

Methods

minBound :: Unit

maxBound :: Unit

Enum Unit

Defined in Data.Aeson.Unit

Methods

succ :: Unit -> Unit

pred :: Unit -> Unit

toEnum :: Int -> Unit

fromEnum :: Unit -> Int

enumFrom :: Unit -> [Unit]

enumFromThen :: Unit -> Unit -> [Unit]

enumFromTo :: Unit -> Unit -> [Unit]

enumFromThenTo :: Unit -> Unit -> Unit -> [Unit]

Eq Unit

Defined in Data.Aeson.Unit

Methods

(==) :: Unit -> Unit -> Bool

(/=) :: Unit -> Unit -> Bool

Read Unit

Defined in Data.Aeson.Unit

Methods

readsPrec :: Int -> ReadS Unit

readList :: ReadS [Unit]

readPrec :: ReadPrec Unit

readListPrec :: ReadPrec [Unit]

Show Unit

Defined in Data.Aeson.Unit

Methods

showsPrec :: Int -> Unit -> ShowS

show :: Unit -> String

showList :: [Unit] -> ShowS

Generic Unit

Defined in Data.Aeson.Unit

Associated Types

type Rep Unit :: Type -> Type

Methods

from :: Unit -> Rep Unit x

to :: Rep Unit x -> Unit

ToJSON Unit

Defined in Data.Aeson.Unit

Methods

toJSON :: Unit -> Value

toEncoding :: Unit -> Encoding

toJSONList :: [Unit] -> Value

toEncodingList :: [Unit] -> Encoding

FromJSON Unit

Always a success parse

Defined in Data.Aeson.Unit

Methods

parseJSON :: Value -> Parser Unit

parseJSONList :: Value -> Parser [Unit]

ToSchema Unit

Defined in Data.Aeson.Unit

Methods

declareNamedSchema :: Proxy Unit -> Declare (Definitions Schema) NamedSchema

type Rep Unit

Defined in Data.Aeson.Unit

type Rep Unit = D1 (MetaData "Unit" "Data.Aeson.Unit" "aeson-injector-1.1.3.0-6MY5WVAvsf2AfVianu6uUb" False) (C1 (MetaCons "Unit" PrefixI False) (U1 :: Type -> Type))