Data.Aeson.Extra.SingObject

Documentation

newtype SingObject s a

Singleton value object

λ > decode "{\"value\": 42 }" :: Maybe (SingObject "value" Int)
Just (SingObject 42)

λ > encode (SingObject 42 :: SingObject "value" Int)
"{\"value\":42}"

Available with: base >=4.7

Constructors

SingObject a

Instances

Functor (SingObject s)

Foldable (SingObject s)

Traversable (SingObject s)

Eq a => Eq (SingObject s a)

Ord a => Ord (SingObject s a)

Read a => Read (SingObject s a)

Show a => Show (SingObject s a)

(KnownSymbol s, ToJSON a) => ToJSON (SingObject s a)

(KnownSymbol s, FromJSON a) => FromJSON (SingObject s a)

mkSingObject :: Proxy s -> a -> SingObject s a

getSingObject :: Proxy s -> SingObject s a -> a