| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Web.Spock.Api
Synopsis
- data Endpoint (p :: [Type]) (i :: Maybe Type) o where
- MethodGet :: forall o (p :: [Type]). (ToJSON o, FromJSON o) => Path p 'Open -> Endpoint p ('Nothing :: Maybe Type) o
- MethodPost :: forall i1 o (p :: [Type]). (ToJSON i1, FromJSON i1, ToJSON o, FromJSON o) => Proxy (i1 -> o) -> Path p 'Open -> Endpoint p ('Just i1) o
- MethodPut :: forall i1 o (p :: [Type]). (ToJSON i1, FromJSON i1, ToJSON o, FromJSON o) => Proxy (i1 -> o) -> Path p 'Open -> Endpoint p ('Just i1) o
- data Proxy (t :: k) = Proxy
- type family MaybeToList (a :: Maybe Type) :: [Type] where ...
- (<//>) :: forall (as :: [Type]) (bs :: [Type]) (ps :: PathState). Path as 'Open -> Path bs ps -> Path (Append as bs) ps
- var :: (Typeable a, FromHttpApiData a) => Path '[a] 'Open
- data Path (as :: [Type]) (pathState :: PathState) where
- Empty :: Path ('[] :: [Type]) 'Open
- StaticCons :: forall (as :: [Type]) (pathState :: PathState). Text -> Path as pathState -> Path as pathState
- VarCons :: forall a (as1 :: [Type]) (pathState :: PathState). (FromHttpApiData a, Typeable a) => Path as1 pathState -> Path (a ': as1) pathState
- Wildcard :: forall (as1 :: [Type]). Path as1 'Open -> Path (Text ': as1) 'Closed
- renderRoute :: forall (as :: [Type]). AllHave ToHttpApiData as => Path as 'Open -> HVect as -> Text
- class Generic a
- class ToJSON a
- class FromJSON a
- class NFData a
- class Typeable (a :: k)
Documentation
data Endpoint (p :: [Type]) (i :: Maybe Type) o where Source #
Describes an endpoint with path parameters, an optional json body and a json response
Constructors
| MethodGet :: forall o (p :: [Type]). (ToJSON o, FromJSON o) => Path p 'Open -> Endpoint p ('Nothing :: Maybe Type) o | |
| MethodPost :: forall i1 o (p :: [Type]). (ToJSON i1, FromJSON i1, ToJSON o, FromJSON o) => Proxy (i1 -> o) -> Path p 'Open -> Endpoint p ('Just i1) o | |
| MethodPut :: forall i1 o (p :: [Type]). (ToJSON i1, FromJSON i1, ToJSON o, FromJSON o) => Proxy (i1 -> o) -> Path p 'Open -> Endpoint p ('Just i1) o |
Proxy is a type that holds no data, but has a phantom parameter of
arbitrary type (or even kind). Its use is to provide type information, even
though there is no value available of that type (or it may be too costly to
create one).
Historically, Proxy :: Proxy aundefined :: a
>>>Proxy :: Proxy (Void, Int -> Int)Proxy
Proxy can even hold types of higher kinds,
>>>Proxy :: Proxy EitherProxy
>>>Proxy :: Proxy FunctorProxy
>>>Proxy :: Proxy complicatedStructureProxy
Constructors
| Proxy |
Instances
| Generic1 (Proxy :: k -> Type) # | |
Defined in GHC.Internal.Generics | |
| FromJSON1 (Proxy :: Type -> Type) # | |
Defined in Data.Aeson.Types.FromJSON | |
| ToJSON1 (Proxy :: Type -> Type) # | |
Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> Proxy a -> Value # liftToJSONList :: (a -> Bool) -> (a -> Value) -> ([a] -> Value) -> [Proxy a] -> Value # liftToEncoding :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> Proxy a -> Encoding # liftToEncodingList :: (a -> Bool) -> (a -> Encoding) -> ([a] -> Encoding) -> [Proxy a] -> Encoding # liftOmitField :: (a -> Bool) -> Proxy a -> Bool # | |
| Eq1 (Proxy :: Type -> Type) # | Since: base-4.9.0.0 |
| Ord1 (Proxy :: Type -> Type) # | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
| Read1 (Proxy :: Type -> Type) # | Since: base-4.9.0.0 |
Defined in Data.Functor.Classes | |
| Show1 (Proxy :: Type -> Type) # | Since: base-4.9.0.0 |
| Contravariant (Proxy :: Type -> Type) # | |
| NFData1 (Proxy :: Type -> Type) # | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| Alternative (Proxy :: Type -> Type) # | Since: base-4.9.0.0 |
| Applicative (Proxy :: Type -> Type) # | Since: base-4.7.0.0 |
| Functor (Proxy :: Type -> Type) # | Since: base-4.7.0.0 |
| Monad (Proxy :: Type -> Type) # | Since: base-4.7.0.0 |
| MonadPlus (Proxy :: Type -> Type) # | Since: base-4.9.0.0 |
| FromJSON (Proxy a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| ToJSON (Proxy a) # | |
| NFData (Proxy a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| Monoid (Proxy s) # | Since: base-4.7.0.0 |
| Semigroup (Proxy s) # | Since: base-4.9.0.0 |
| Bounded (Proxy t) # | Since: base-4.7.0.0 |
| Enum (Proxy s) # | Since: base-4.7.0.0 |
| Generic (Proxy t) # | |
Defined in GHC.Internal.Generics | |
| Ix (Proxy s) # | Since: base-4.7.0.0 |
Defined in GHC.Internal.Data.Proxy | |
| Read (Proxy t) # | Since: base-4.7.0.0 |
| Show (Proxy s) # | Since: base-4.7.0.0 |
| Eq (Proxy s) # | Since: base-4.7.0.0 |
| Ord (Proxy s) # | Since: base-4.7.0.0 |
Defined in GHC.Internal.Data.Proxy | |
| type Rep1 (Proxy :: k -> Type) # | Since: base-4.6.0.0 |
| type Rep (Proxy t) # | Since: base-4.6.0.0 |
type family MaybeToList (a :: Maybe Type) :: [Type] where ... #
Equations
| MaybeToList ('Just r) = '[r] | |
| MaybeToList ('Nothing :: Maybe Type) = '[] :: [Type] |
(<//>) :: forall (as :: [Type]) (bs :: [Type]) (ps :: PathState). Path as 'Open -> Path bs ps -> Path (Append as bs) ps Source #
data Path (as :: [Type]) (pathState :: PathState) where #
Constructors
| Empty :: Path ('[] :: [Type]) 'Open | |
| StaticCons :: forall (as :: [Type]) (pathState :: PathState). Text -> Path as pathState -> Path as pathState | |
| VarCons :: forall a (as1 :: [Type]) (pathState :: PathState). (FromHttpApiData a, Typeable a) => Path as1 pathState -> Path (a ': as1) pathState | |
| Wildcard :: forall (as1 :: [Type]). Path as1 'Open -> Path (Text ': as1) 'Closed |
renderRoute :: forall (as :: [Type]). AllHave ToHttpApiData as => Path as 'Open -> HVect as -> Text #
Representable types of kind *.
This class is derivable in GHC with the DeriveGeneric flag on.
A Generic instance must satisfy the following laws:
from.to≡idto.from≡id
Instances
A type that can be converted to JSON.
Instances in general must specify toJSON and should (but don't need
to) specify toEncoding.
An example type and instance:
-- Allow ourselves to writeTextliterals. {-# LANGUAGE OverloadedStrings #-} data Coord = Coord { x :: Double, y :: Double } instanceToJSONCoord wheretoJSON(Coord x y) =object["x".=x, "y".=y]toEncoding(Coord x y) =pairs("x".=x<>"y".=y)
Instead of manually writing your ToJSON instance, there are two options
to do it automatically:
- Data.Aeson.TH provides Template Haskell functions which will derive an instance at compile time. The generated instance is optimized for your type so it will probably be more efficient than the following option.
- The compiler can provide a default generic implementation for
toJSON.
To use the second, simply add a deriving clause to your
datatype and declare a GenericToJSON instance. If you require nothing other than
defaultOptions, it is sufficient to write (and this is the only
alternative where the default toJSON implementation is sufficient):
{-# LANGUAGE DeriveGeneric #-}
import GHC.Generics
data Coord = Coord { x :: Double, y :: Double } deriving Generic
instance ToJSON Coord where
toEncoding = genericToEncoding defaultOptions
or more conveniently using the DerivingVia extension
deriving viaGenericallyCoord instanceToJSONCoord
If on the other hand you wish to customize the generic decoding, you have to implement both methods:
customOptions =defaultOptions{fieldLabelModifier=maptoUpper} instanceToJSONCoord wheretoJSON=genericToJSONcustomOptionstoEncoding=genericToEncodingcustomOptions
Previous versions of this library only had the toJSON method. Adding
toEncoding had two reasons:
toEncodingis more efficient for the common case that the output oftoJSONis directly serialized to aByteString. Further, expressing either method in terms of the other would be non-optimal.- The choice of defaults allows a smooth transition for existing users:
Existing instances that do not define
toEncodingstill compile and have the correct semantics. This is ensured by making the default implementation oftoEncodingusetoJSON. This produces correct results, but since it performs an intermediate conversion to aValue, it will be less efficient than directly emitting anEncoding. (this also means that specifying nothing more thaninstance ToJSON Coordwould be sufficient as a generically decoding instance, but there probably exists no good reason to not specifytoEncodingin new instances.)
Instances
| ToJSON Key # | |
| ToJSON DotNetTime # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: DotNetTime -> Value # toEncoding :: DotNetTime -> Encoding # toJSONList :: [DotNetTime] -> Value # toEncodingList :: [DotNetTime] -> Encoding # omitField :: DotNetTime -> Bool # | |
| ToJSON Value # | |
| ToJSON IntSet # | |
| ToJSON Void # | |
| ToJSON All # | Since: aeson-2.2.3.0 |
| ToJSON Any # | Since: aeson-2.2.3.0 |
| ToJSON Version # | |
| ToJSON CTime # | |
| ToJSON Int16 # | |
| ToJSON Int32 # | |
| ToJSON Int64 # | |
| ToJSON Int8 # | |
| ToJSON Word16 # | |
| ToJSON Word32 # | |
| ToJSON Word64 # | |
| ToJSON Word8 # | |
| ToJSON Ordering # | |
| ToJSON URI # | Since: aeson-2.2.0.0 |
| ToJSON Scientific # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Scientific -> Value # toEncoding :: Scientific -> Encoding # toJSONList :: [Scientific] -> Value # toEncodingList :: [Scientific] -> Encoding # omitField :: Scientific -> Bool # | |
| ToJSON Text # | |
| ToJSON Text # | |
| ToJSON ShortText # | Since: aeson-2.0.2.0 |
| ToJSON CalendarDiffDays # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: CalendarDiffDays -> Value # toEncoding :: CalendarDiffDays -> Encoding # toJSONList :: [CalendarDiffDays] -> Value # toEncodingList :: [CalendarDiffDays] -> Encoding # omitField :: CalendarDiffDays -> Bool # | |
| ToJSON Day # | |
| ToJSON Month # | |
| ToJSON Quarter # | |
| ToJSON QuarterOfYear # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: QuarterOfYear -> Value # toEncoding :: QuarterOfYear -> Encoding # toJSONList :: [QuarterOfYear] -> Value # toEncodingList :: [QuarterOfYear] -> Encoding # omitField :: QuarterOfYear -> Bool # | |
| ToJSON DayOfWeek # | |
| ToJSON DiffTime # | |
| ToJSON NominalDiffTime # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: NominalDiffTime -> Value # toEncoding :: NominalDiffTime -> Encoding # toJSONList :: [NominalDiffTime] -> Value # toEncodingList :: [NominalDiffTime] -> Encoding # omitField :: NominalDiffTime -> Bool # | |
| ToJSON SystemTime # | Encoded as number |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: SystemTime -> Value # toEncoding :: SystemTime -> Encoding # toJSONList :: [SystemTime] -> Value # toEncodingList :: [SystemTime] -> Encoding # omitField :: SystemTime -> Bool # | |
| ToJSON UTCTime # | |
| ToJSON CalendarDiffTime # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: CalendarDiffTime -> Value # toEncoding :: CalendarDiffTime -> Encoding # toJSONList :: [CalendarDiffTime] -> Value # toEncodingList :: [CalendarDiffTime] -> Encoding # omitField :: CalendarDiffTime -> Bool # | |
| ToJSON LocalTime # | |
| ToJSON TimeOfDay # | |
| ToJSON ZonedTime # | |
| ToJSON UUID # | |
| ToJSON Integer # | |
| ToJSON Natural # | |
| ToJSON () # | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: () -> Encoding # toJSONList :: [()] -> Value # toEncodingList :: [()] -> Encoding # | |
| ToJSON Bool # | |
| ToJSON Char # | |
| ToJSON Double # | |
| ToJSON Float # | |
| ToJSON Int # | |
| ToJSON Word # | |
| ToJSON v => ToJSON (KeyMap v) # | |
| ToJSON a => ToJSON (First a) # | |
| ToJSON a => ToJSON (Last a) # | |
| ToJSON a => ToJSON (Max a) # | |
| ToJSON a => ToJSON (Min a) # | |
| ToJSON a => ToJSON (WrappedMonoid a) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: WrappedMonoid a -> Value # toEncoding :: WrappedMonoid a -> Encoding # toJSONList :: [WrappedMonoid a] -> Value # toEncodingList :: [WrappedMonoid a] -> Encoding # omitField :: WrappedMonoid a -> Bool # | |
| ToJSON a => ToJSON (IntMap a) # | |
| ToJSON a => ToJSON (Seq a) # | |
| ToJSON a => ToJSON (Set a) # | |
| ToJSON v => ToJSON (Tree v) # | |
| ToJSON1 f => ToJSON (Fix f) # | Since: aeson-1.5.3.0 |
| (ToJSON1 f, Functor f) => ToJSON (Mu f) # | Since: aeson-1.5.3.0 |
| (ToJSON1 f, Functor f) => ToJSON (Nu f) # | Since: aeson-1.5.3.0 |
| ToJSON a => ToJSON (DNonEmpty a) # | Since: aeson-1.5.3.0 |
| ToJSON a => ToJSON (DList a) # | |
| ToJSON a => ToJSON (NonEmpty a) # | |
| ToJSON a => ToJSON (Identity a) # | |
| ToJSON a => ToJSON (First a) # | |
| ToJSON a => ToJSON (Last a) # | |
| ToJSON a => ToJSON (Down a) # | Since: aeson-2.2.0.0 |
| ToJSON a => ToJSON (Dual a) # | |
| ToJSON a => ToJSON (Product a) # | Since: aeson-2.2.3.0 |
| ToJSON a => ToJSON (Sum a) # | Since: aeson-2.2.3.0 |
| (Generic a, GToJSON' Value Zero (Rep a), GToJSON' Encoding Zero (Rep a)) => ToJSON (Generically a) # | Since: aeson-2.1.0.0 |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: Generically a -> Value # toEncoding :: Generically a -> Encoding # toJSONList :: [Generically a] -> Value # toEncodingList :: [Generically a] -> Encoding # omitField :: Generically a -> Bool # | |
| (ToJSON a, Integral a) => ToJSON (Ratio a) # | |
| ToJSON a => ToJSON (Array a) # | |
| (Prim a, ToJSON a) => ToJSON (PrimArray a) # | |
| ToJSON a => ToJSON (SmallArray a) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: SmallArray a -> Value # toEncoding :: SmallArray a -> Encoding # toJSONList :: [SmallArray a] -> Value # toEncodingList :: [SmallArray a] -> Encoding # omitField :: SmallArray a -> Bool # | |
| ToJSON a => ToJSON (Maybe a) # | Since: aeson-1.5.3.0 |
| ToJSON a => ToJSON (HashSet a) # | |
| ToJSON a => ToJSON (Vector a) # | |
| (Prim a, ToJSON a) => ToJSON (Vector a) # | |
| (Storable a, ToJSON a) => ToJSON (Vector a) # | |
| (Vector Vector a, ToJSON a) => ToJSON (Vector a) # | |
| ToJSON a => ToJSON (Maybe a) # | |
| ToJSON a => ToJSON (Solo a) # | Since: aeson-2.0.2.0 |
| ToJSON a => ToJSON [a] # | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: [a] -> Encoding # toJSONList :: [[a]] -> Value # toEncodingList :: [[a]] -> Encoding # | |
| HasResolution a => ToJSON (Fixed a) # | |
| (ToJSON v, ToJSONKey k) => ToJSON (Map k v) # | |
| (ToJSON a, ToJSON b) => ToJSON (Either a b) # | |
| ToJSON (Proxy a) # | |
| (ToJSON a, ToJSON b) => ToJSON (Either a b) # | Since: aeson-1.5.3.0 |
| (ToJSON a, ToJSON b) => ToJSON (These a b) # | Since: aeson-1.5.3.0 |
| (ToJSON a, ToJSON b) => ToJSON (Pair a b) # | Since: aeson-1.5.3.0 |
| (ToJSON a, ToJSON b) => ToJSON (These a b) # | Since: aeson-1.5.1.0 |
| (ToJSON v, ToJSONKey k) => ToJSON (HashMap k v) # | |
| (ToJSON a, ToJSON b) => ToJSON (a, b) # | |
Defined in Data.Aeson.Types.ToJSON Methods toEncoding :: (a, b) -> Encoding # toJSONList :: [(a, b)] -> Value # toEncodingList :: [(a, b)] -> Encoding # | |
| ToJSON a => ToJSON (Const a b) # | |
| ToJSON b => ToJSON (Tagged a b) # | |
| (ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (These1 f g a) # | Since: aeson-1.5.1.0 |
| (ToJSON a, ToJSON b, ToJSON c) => ToJSON (a, b, c) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c) -> Value # toEncoding :: (a, b, c) -> Encoding # toJSONList :: [(a, b, c)] -> Value # toEncodingList :: [(a, b, c)] -> Encoding # | |
| (ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Product f g a) # | |
| (ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Sum f g a) # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d) => ToJSON (a, b, c, d) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d) -> Value # toEncoding :: (a, b, c, d) -> Encoding # toJSONList :: [(a, b, c, d)] -> Value # toEncodingList :: [(a, b, c, d)] -> Encoding # | |
| (ToJSON1 f, ToJSON1 g, ToJSON a) => ToJSON (Compose f g a) # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e) => ToJSON (a, b, c, d, e) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e) -> Value # toEncoding :: (a, b, c, d, e) -> Encoding # toJSONList :: [(a, b, c, d, e)] -> Value # toEncodingList :: [(a, b, c, d, e)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f) => ToJSON (a, b, c, d, e, f) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f) -> Value # toEncoding :: (a, b, c, d, e, f) -> Encoding # toJSONList :: [(a, b, c, d, e, f)] -> Value # toEncodingList :: [(a, b, c, d, e, f)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g) => ToJSON (a, b, c, d, e, f, g) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g) -> Value # toEncoding :: (a, b, c, d, e, f, g) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h) => ToJSON (a, b, c, d, e, f, g, h) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h) -> Value # toEncoding :: (a, b, c, d, e, f, g, h) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i) => ToJSON (a, b, c, d, e, f, g, h, i) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j) => ToJSON (a, b, c, d, e, f, g, h, i, j) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k) => ToJSON (a, b, c, d, e, f, g, h, i, j, k) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l)] -> Encoding # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m)] -> Encoding # omitField :: (a, b, c, d, e, f, g, h, i, j, k, l, m) -> Bool # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n)] -> Encoding # omitField :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n) -> Bool # | |
| (ToJSON a, ToJSON b, ToJSON c, ToJSON d, ToJSON e, ToJSON f, ToJSON g, ToJSON h, ToJSON i, ToJSON j, ToJSON k, ToJSON l, ToJSON m, ToJSON n, ToJSON o) => ToJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # | |
Defined in Data.Aeson.Types.ToJSON Methods toJSON :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Value # toEncoding :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Encoding # toJSONList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Value # toEncodingList :: [(a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)] -> Encoding # omitField :: (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) -> Bool # | |
A type that can be converted from JSON, with the possibility of failure.
In many cases, you can get the compiler to generate parsing code for you (see below). To begin, let's cover writing an instance by hand.
There are various reasons a conversion could fail. For example, an
Object could be missing a required key, an Array could be of
the wrong size, or a value could be of an incompatible type.
The basic ways to signal a failed conversion are as follows:
failyields a custom error message: it is the recommended way of reporting a failure;empty(ormzero) is uninformative: use it when the error is meant to be caught by some(;<|>)typeMismatchcan be used to report a failure when the encountered value is not of the expected JSON type;unexpectedis an appropriate alternative when more than one type may be expected, or to keep the expected type implicit.
prependFailure (or modifyFailure) add more information to a parser's
error messages.
An example type and instance using typeMismatch and prependFailure:
-- Allow ourselves to writeTextliterals. {-# LANGUAGE OverloadedStrings #-} data Coord = Coord { x :: Double, y :: Double } instanceFromJSONCoord whereparseJSON(Objectv) = Coord<$>v.:"x"<*>v.:"y" -- We do not expect a non-Objectvalue here. -- We could useemptyto fail, buttypeMismatch-- gives a much more informative error message.parseJSONinvalid =prependFailure"parsing Coord failed, " (typeMismatch"Object" invalid)
For this common case of only being concerned with a single
type of JSON value, the functions withObject, withScientific, etc.
are provided. Their use is to be preferred when possible, since
they are more terse. Using withObject, we can rewrite the above instance
(assuming the same language extension and data type) as:
instanceFromJSONCoord whereparseJSON=withObject"Coord" $ \v -> Coord<$>v.:"x"<*>v.:"y"
Instead of manually writing your FromJSON instance, there are two options
to do it automatically:
- Data.Aeson.TH provides Template Haskell functions which will derive an instance at compile time. The generated instance is optimized for your type so it will probably be more efficient than the following option.
- The compiler can provide a default generic implementation for
parseJSON.
To use the second, simply add a deriving clause to your
datatype and declare a GenericFromJSON instance for your datatype without giving
a definition for parseJSON.
For example, the previous example can be simplified to just:
{-# LANGUAGE DeriveGeneric #-}
import GHC.Generics
data Coord = Coord { x :: Double, y :: Double } deriving Generic
instance FromJSON Coord
or using the DerivingVia extension
deriving viaGenericallyCoord instanceFromJSONCoord
The default implementation will be equivalent to
parseJSON = ; if you need different
options, you can customize the generic decoding by defining:genericParseJSON defaultOptions
customOptions =defaultOptions{fieldLabelModifier=maptoUpper} instanceFromJSONCoord whereparseJSON=genericParseJSONcustomOptions
Instances
| FromJSON Key # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON DotNetTime # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Value # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON IntSet # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Void # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON All # | Since: aeson-2.2.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Any # | Since: aeson-2.2.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Version # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON CTime # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Int16 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Int32 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Int64 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Int8 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Word16 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Word32 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Word64 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Word8 # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Ordering # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON URI # | Since: aeson-2.2.0.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Scientific # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Text # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Text # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON ShortText # | Since: aeson-2.0.2.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON CalendarDiffDays # | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser CalendarDiffDays # parseJSONList :: Value -> Parser [CalendarDiffDays] # | |
| FromJSON Day # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Month # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Quarter # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON QuarterOfYear # | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser QuarterOfYear # parseJSONList :: Value -> Parser [QuarterOfYear] # | |
| FromJSON DayOfWeek # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON DiffTime # | This instance includes a bounds check to prevent maliciously
large inputs to fill up the memory of the target system. You can
newtype |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON NominalDiffTime # | This instance includes a bounds check to prevent maliciously
large inputs to fill up the memory of the target system. You can
newtype |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser NominalDiffTime # parseJSONList :: Value -> Parser [NominalDiffTime] # | |
| FromJSON SystemTime # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON UTCTime # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON CalendarDiffTime # | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser CalendarDiffTime # parseJSONList :: Value -> Parser [CalendarDiffTime] # | |
| FromJSON LocalTime # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON TimeOfDay # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON ZonedTime # | Supported string formats:
The first space may instead be a |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON UUID # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Integer # | This instance includes a bounds check to prevent maliciously
large inputs to fill up the memory of the target system. You can
newtype |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Natural # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON () # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Bool # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Char # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Double # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Float # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Int # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON Word # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON v => FromJSON (KeyMap v) # | Since: aeson-2.0.1.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (First a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Last a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Max a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Min a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (WrappedMonoid a) # | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (WrappedMonoid a) # parseJSONList :: Value -> Parser [WrappedMonoid a] # omittedField :: Maybe (WrappedMonoid a) # | |
| FromJSON a => FromJSON (IntMap a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Seq a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (Ord a, FromJSON a) => FromJSON (Set a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON v => FromJSON (Tree v) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON1 f => FromJSON (Fix f) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON1 f, Functor f) => FromJSON (Mu f) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON1 f, Functor f) => FromJSON (Nu f) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (DNonEmpty a) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (DList a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (NonEmpty a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Identity a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (First a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Last a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Down a) # | Since: aeson-2.2.0.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Dual a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Product a) # | Since: aeson-2.2.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Sum a) # | Since: aeson-2.2.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (Generic a, GFromJSON Zero (Rep a)) => FromJSON (Generically a) # | Since: aeson-2.1.0.0 |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (Generically a) # parseJSONList :: Value -> Parser [Generically a] # omittedField :: Maybe (Generically a) # | |
| (FromJSON a, Integral a) => FromJSON (Ratio a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Array a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (Prim a, FromJSON a) => FromJSON (PrimArray a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (SmallArray a) # | |
Defined in Data.Aeson.Types.FromJSON Methods parseJSON :: Value -> Parser (SmallArray a) # parseJSONList :: Value -> Parser [SmallArray a] # omittedField :: Maybe (SmallArray a) # | |
| FromJSON a => FromJSON (Maybe a) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (Eq a, Hashable a, FromJSON a) => FromJSON (HashSet a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Vector a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (Prim a, FromJSON a) => FromJSON (Vector a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (Storable a, FromJSON a) => FromJSON (Vector a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (Vector Vector a, FromJSON a) => FromJSON (Vector a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Maybe a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Solo a) # | Since: aeson-2.0.2.0 |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON [a] # | |
Defined in Data.Aeson.Types.FromJSON | |
| HasResolution a => FromJSON (Fixed a) # | This instance includes a bounds check to prevent maliciously
large inputs to fill up the memory of the target system. You can
newtype |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSONKey k, Ord k, FromJSON v) => FromJSON (Map k v) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b) => FromJSON (Either a b) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON (Proxy a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b) => FromJSON (Either a b) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b) => FromJSON (These a b) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b) => FromJSON (Pair a b) # | Since: aeson-1.5.3.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b) => FromJSON (These a b) # | Since: aeson-1.5.1.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON v, FromJSONKey k, Eq k, Hashable k) => FromJSON (HashMap k v) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b) => FromJSON (a, b) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON a => FromJSON (Const a b) # | |
Defined in Data.Aeson.Types.FromJSON | |
| FromJSON b => FromJSON (Tagged a b) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (These1 f g a) # | Since: aeson-1.5.1.0 |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c) => FromJSON (a, b, c) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Product f g a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Sum f g a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d) => FromJSON (a, b, c, d) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON1 f, FromJSON1 g, FromJSON a) => FromJSON (Compose f g a) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e) => FromJSON (a, b, c, d, e) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f) => FromJSON (a, b, c, d, e, f) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g) => FromJSON (a, b, c, d, e, f, g) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h) => FromJSON (a, b, c, d, e, f, g, h) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i) => FromJSON (a, b, c, d, e, f, g, h, i) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j) => FromJSON (a, b, c, d, e, f, g, h, i, j) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k) => FromJSON (a, b, c, d, e, f, g, h, i, j, k) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n) # | |
Defined in Data.Aeson.Types.FromJSON | |
| (FromJSON a, FromJSON b, FromJSON c, FromJSON d, FromJSON e, FromJSON f, FromJSON g, FromJSON h, FromJSON i, FromJSON j, FromJSON k, FromJSON l, FromJSON m, FromJSON n, FromJSON o) => FromJSON (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) # | |
Defined in Data.Aeson.Types.FromJSON | |
A class of types that can be fully evaluated.
Since: deepseq-1.1.0.0
Instances
| NFData Key # | |
Defined in Data.Aeson.Key | |
| NFData JSONPathElement # | |
Defined in Data.Aeson.Types.Internal Methods rnf :: JSONPathElement -> () # | |
| NFData Value # | |
Defined in Data.Aeson.Types.Internal | |
| NFData ByteArray # | Since: deepseq-1.4.7.0 |
Defined in Control.DeepSeq | |
| NFData ByteString # | |
Defined in Data.ByteString.Internal.Type Methods rnf :: ByteString -> () # | |
| NFData Void # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData ThreadId # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData All # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData Any # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData TypeRep # | NOTE: Prior to Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData Unique # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData Version # | Since: deepseq-1.3.0.0 |
Defined in Control.DeepSeq | |
| NFData Fingerprint # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq Methods rnf :: Fingerprint -> () # | |
| NFData CBool # | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| NFData CChar # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CClock # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CDouble # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CFile # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CFloat # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CFpos # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CInt # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CIntMax # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CIntPtr # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CJmpBuf # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CLLong # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CLong # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CPtrdiff # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CSChar # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CSUSeconds # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq Methods rnf :: CSUSeconds -> () # | |
| NFData CShort # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CSigAtomic # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq Methods rnf :: CSigAtomic -> () # | |
| NFData CSize # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CTime # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CUChar # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CUInt # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CUIntMax # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CUIntPtr # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CULLong # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CULong # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CUSeconds # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CUShort # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData CWchar # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData MaskingState # | Since: deepseq-1.4.4.0 |
Defined in Control.DeepSeq Methods rnf :: MaskingState -> () # | |
| NFData ExitCode # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData Int16 # | |
Defined in Control.DeepSeq | |
| NFData Int32 # | |
Defined in Control.DeepSeq | |
| NFData Int64 # | |
Defined in Control.DeepSeq | |
| NFData Int8 # | |
Defined in Control.DeepSeq | |
| NFData CallStack # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData SrcLoc # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData Word16 # | |
Defined in Control.DeepSeq | |
| NFData Word32 # | |
Defined in Control.DeepSeq | |
| NFData Word64 # | |
Defined in Control.DeepSeq | |
| NFData Word8 # | |
Defined in Control.DeepSeq | |
| NFData Module # | Since: deepseq-1.4.8.0 |
Defined in Control.DeepSeq | |
| NFData Ordering # | |
Defined in Control.DeepSeq | |
| NFData TyCon # | NOTE: Prior to Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData URI # | |
Defined in Network.URI | |
| NFData URIAuth # | |
Defined in Network.URI | |
| NFData Scientific # | |
Defined in Data.Scientific Methods rnf :: Scientific -> () # | |
| NFData ShortText # | |
Defined in Data.Text.Short.Internal | |
| NFData LocalTime # | |
Defined in Data.Time.LocalTime.Internal.LocalTime | |
| NFData ZonedTime # | |
Defined in Data.Time.LocalTime.Internal.ZonedTime | |
| NFData Integer # | |
Defined in Control.DeepSeq | |
| NFData Natural # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData () # | |
Defined in Control.DeepSeq | |
| NFData Bool # | |
Defined in Control.DeepSeq | |
| NFData Char # | |
Defined in Control.DeepSeq | |
| NFData Double # | |
Defined in Control.DeepSeq | |
| NFData Float # | |
Defined in Control.DeepSeq | |
| NFData Int # | |
Defined in Control.DeepSeq | |
| NFData Word # | |
Defined in Control.DeepSeq | |
| NFData v => NFData (KeyMap v) # | |
Defined in Data.Aeson.KeyMap | |
| NFData a => NFData (IResult a) # | |
Defined in Data.Aeson.Types.Internal | |
| NFData a => NFData (Result a) # | |
Defined in Data.Aeson.Types.Internal | |
| NFData (MutableByteArray s) # | Since: deepseq-1.4.8.0 |
Defined in Control.DeepSeq Methods rnf :: MutableByteArray s -> () # | |
| NFData a => NFData (Complex a) # | |
Defined in Control.DeepSeq | |
| NFData a => NFData (First a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Last a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Max a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Min a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData m => NFData (WrappedMonoid m) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq Methods rnf :: WrappedMonoid m -> () # | |
| NFData1 f => NFData (Fix f) # | |
| NFData a => NFData (DNonEmpty a) # | |
Defined in Data.DList.DNonEmpty.Internal | |
| NFData a => NFData (DList a) # | |
Defined in Data.DList.Internal | |
| NFData a => NFData (NonEmpty a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Identity a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (First a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Last a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Down a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Dual a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Product a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Sum a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (ZipList a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData (IORef a) # | NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData (MVar a) # | NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData (FunPtr a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData (Ptr a) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Ratio a) # | |
Defined in Control.DeepSeq | |
| NFData (StableName a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq Methods rnf :: StableName a -> () # | |
| NFData (PrimArray a) # | |
Defined in Data.Primitive.PrimArray | |
| NFData a => NFData (SmallArray a) # | |
Defined in Data.Primitive.SmallArray Methods rnf :: SmallArray a -> () # | |
| NFData x => NFData (PathMap x) # | |
Defined in Web.Routing.SafeRouting | |
| NFData a => NFData (Maybe a) # | |
Defined in Data.Strict.Maybe | |
| NFData a => NFData (Vector a) # | |
Defined in Data.Vector | |
| NFData (Vector a) # | |
Defined in Data.Vector.Primitive | |
| NFData (Vector a) # | |
Defined in Data.Vector.Storable | |
| NFData a => NFData (Vector a) # | |
Defined in Data.Vector.Strict | |
| NFData (Vector a) # | |
Defined in Data.Vector.Unboxed.Base | |
| NFData a => NFData (Maybe a) # | |
Defined in Control.DeepSeq | |
| NFData a => NFData (Solo a) # | Since: deepseq-1.4.6.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData [a] # | |
Defined in Control.DeepSeq | |
| NFData (Fixed a) # | Since: deepseq-1.3.0.0 |
Defined in Control.DeepSeq | |
| (NFData a, NFData b) => NFData (Arg a b) # | Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| (NFData a, NFData b) => NFData (Array a b) # | |
Defined in Control.DeepSeq | |
| (NFData a, NFData b) => NFData (Either a b) # | |
Defined in Control.DeepSeq | |
| NFData (Proxy a) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData (TypeRep a) # | Since: deepseq-1.4.8.0 |
Defined in Control.DeepSeq | |
| NFData (STRef s a) # | NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
| NFData (MutablePrimArray s a) # | |
Defined in Data.Primitive.PrimArray Methods rnf :: MutablePrimArray s a -> () # | |
| (NFData a, NFData b) => NFData (Either a b) # | |
Defined in Data.Strict.Either | |
| (NFData a, NFData b) => NFData (These a b) # | |
Defined in Data.Strict.These | |
| (NFData a, NFData b) => NFData (Pair a b) # | |
Defined in Data.Strict.Tuple | |
| (NFData a, NFData b) => NFData (These a b) # | Since: these-0.7.1 |
Defined in Data.These | |
| NFData (MVector s a) # | |
Defined in Data.Vector.Unboxed.Base | |
| (NFData a, NFData b) => NFData (a, b) # | |
Defined in Control.DeepSeq | |
| NFData (a -> b) # | This instance is for convenience and consistency with Since: deepseq-1.3.0.0 |
Defined in Control.DeepSeq | |
| NFData a => NFData (Const a b) # | Since: deepseq-1.4.0.0 |
Defined in Control.DeepSeq | |
| NFData (a :~: b) # | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| (NFData (f a), NFData (g a), NFData a) => NFData (These1 f g a) # | Available always Since: these-1.2 |
Defined in Data.Functor.These | |
| (NFData a1, NFData a2, NFData a3) => NFData (a1, a2, a3) # | |
Defined in Control.DeepSeq | |
| (NFData (f a), NFData (g a)) => NFData (Product f g a) # | Note: in Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| (NFData (f a), NFData (g a)) => NFData (Sum f g a) # | Note: in Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| NFData (a :~~: b) # | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| (NFData a1, NFData a2, NFData a3, NFData a4) => NFData (a1, a2, a3, a4) # | |
Defined in Control.DeepSeq | |
| NFData (f (g a)) => NFData (Compose f g a) # | Note: in Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| (NFData a1, NFData a2, NFData a3, NFData a4, NFData a5) => NFData (a1, a2, a3, a4, a5) # | |
Defined in Control.DeepSeq | |
| (NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6) => NFData (a1, a2, a3, a4, a5, a6) # | |
Defined in Control.DeepSeq | |
| (NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7) => NFData (a1, a2, a3, a4, a5, a6, a7) # | |
Defined in Control.DeepSeq | |
| (NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8) => NFData (a1, a2, a3, a4, a5, a6, a7, a8) # | |
Defined in Control.DeepSeq | |
| (NFData a1, NFData a2, NFData a3, NFData a4, NFData a5, NFData a6, NFData a7, NFData a8, NFData a9) => NFData (a1, a2, a3, a4, a5, a6, a7, a8, a9) # | |
Defined in Control.DeepSeq | |