Copyright | (C) 2015-2016 Oleg Grenrus |
---|---|
License | BSD3 |
Maintainer | Oleg Grenrus <oleg.grenrus@iki.fi> |
Safe Haskell | None |
Language | Haskell2010 |
- newtype SingObject s a = SingObject a
- mkSingObject :: Proxy s -> a -> SingObject s a
- getSingObject :: Proxy s -> SingObject s a -> a
Documentation
newtype SingObject s a Source #
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
Functor (SingObject s) Source # | |
Foldable (SingObject s) Source # | |
Traversable (SingObject s) Source # | |
KnownSymbol s => FromJSON1 (SingObject s) Source # | |
KnownSymbol s => ToJSON1 (SingObject s) Source # | |
Eq a => Eq (SingObject s a) Source # | |
Ord a => Ord (SingObject s a) Source # | |
Read a => Read (SingObject s a) Source # | |
Show a => Show (SingObject s a) Source # | |
(KnownSymbol s, FromJSON a) => FromJSON (SingObject s a) Source # | |
(KnownSymbol s, ToJSON a) => ToJSON (SingObject s a) Source # | |
mkSingObject :: Proxy s -> a -> SingObject s a Source #
getSingObject :: Proxy s -> SingObject s a -> a Source #