Data.Exists.Aeson

Documentation

class FromJSONForall f where

Methods

parseJSONForall :: Sing a -> Value -> Parser (f a)

Instances

(FromJSON1 f, FromJSONForall g) => FromJSONForall (Compose f g :: k -> Type)

Defined in Data.Exists.Aeson

Methods

parseJSONForall :: forall (a :: k0). Sing a -> Value -> Parser (Compose f g a)

class FromJSONForeach f where

Methods

parseJSONForeach :: Sing a -> Value -> Parser (f a)

Instances

FromJSON a => FromJSONForeach (Const a :: k -> Type)

Defined in Data.Exists.Aeson

Methods

parseJSONForeach :: forall (a0 :: k0). Sing a0 -> Value -> Parser (Const a a0)

FromJSONForeach f => FromJSONForeach (ApplyForeach f :: k -> Type)

Defined in Data.Exists.Aeson

Methods

parseJSONForeach :: forall (a :: k0). Sing a -> Value -> Parser (ApplyForeach f a)

(FromJSON1 f, FromJSONForeach g) => FromJSONForeach (Compose f g :: k -> Type)

Defined in Data.Exists.Aeson

Methods

parseJSONForeach :: forall (a :: k0). Sing a -> Value -> Parser (Compose f g a)

class FromJSONExists f where

Methods

parseJSONExists :: Value -> Parser (Exists f)

class ToJSONForall f where

Methods

toJSONForall :: f a -> Value

Instances

(ToJSON1 f, ToJSONForall g) => ToJSONForall (Compose f g :: k -> Type)

Defined in Data.Exists.Aeson

Methods

toJSONForall :: forall (a :: k0). Compose f g a -> Value

class ToJSONForeach f where

Methods

toJSONForeach :: Sing a -> f a -> Value

Instances

ToJSON a => ToJSONForeach (Const a :: k -> Type)

Defined in Data.Exists.Aeson

Methods

toJSONForeach :: forall (a0 :: k0). Sing a0 -> Const a a0 -> Value

ToJSONForeach f => ToJSONForeach (ApplyForeach f :: k -> Type)

Defined in Data.Exists.Aeson

Methods

toJSONForeach :: forall (a :: k0). Sing a -> ApplyForeach f a -> Value

(ToJSON1 f, ToJSONForeach g) => ToJSONForeach (Compose f g :: k -> Type)

Defined in Data.Exists.Aeson

Methods

toJSONForeach :: forall (a :: k0). Sing a -> Compose f g a -> Value

data ToJSONKeyFunctionForall f

Constructors

ToJSONKeyTextForall !(forall a. f a -> Key) !(forall a. f a -> Encoding' Key)

ToJSONKeyValueForall !(forall a. f a -> Value) !(forall a. f a -> Encoding)

data FromJSONKeyFunctionForeach f

Constructors

FromJSONKeyTextParserForeach !(forall a. Sing a -> Key -> Parser (f a))

FromJSONKeyValueForeach !(forall a. Sing a -> Value -> Parser (f a))

class ToJSONKeyForall f where

Methods

toJSONKeyForall :: ToJSONKeyFunctionForall f

class ToJSONKeyForeach f where

Methods

toJSONKeyForeach :: ToJSONKeyFunctionForall (Product Sing f)

Instances

ToJSONKeyForeach f => ToJSONKeyForeach (ApplyForeach f :: k -> Type)

Defined in Data.Exists.Aeson

Methods

toJSONKeyForeach :: ToJSONKeyFunctionForall (Product Sing (ApplyForeach f))

class FromJSONKeyExists f where

Methods

fromJSONKeyExists :: FromJSONKeyFunction (Exists f)

class FromJSONKeyForeach f where

Methods

fromJSONKeyForeach :: FromJSONKeyFunctionForeach f

Instances

FromJSONKeyForeach f => FromJSONKeyForeach (ApplyForeach f :: k -> Type)

Defined in Data.Exists.Aeson

Methods

fromJSONKeyForeach :: FromJSONKeyFunctionForeach (ApplyForeach f)

class ToJSONSing k where

Methods

toJSONSing :: forall (a :: k). Sing a -> Value

class FromJSONSing k where

Methods

parseJSONSing :: Value -> Parser (Exists (Sing :: k -> Type))

parseJSONMapForeachKey :: forall k (f :: k -> Type) (a :: k) v. (FromJSONKeyForeach f, OrdForeach f, Unreify k) => (Value -> Parser v) -> Sing a -> Value -> Parser (Map (f a) v)

Parse a Map whose key type is higher-kinded. This only creates a valid Map if the OrdForeach instance agrees with the Ord instance.

toJSONMapForeachKey :: (ToJSONKeyForeach f, ToJSONForeach v) => Sing a -> Map (f a) (v a) -> Value

Orphan instances

FromJSONExists f => FromJSON (Exists f)

Methods

parseJSON :: Value -> Parser (Exists f)

parseJSONList :: Value -> Parser [Exists f]

omittedField :: Maybe (Exists f)

(FromJSONForeach f, FromJSONSing k) => FromJSON (Some f)

Methods

parseJSON :: Value -> Parser (Some f)

parseJSONList :: Value -> Parser [Some f]

omittedField :: Maybe (Some f)

(FromJSONKeyExists f, FromJSONExists f) => FromJSONKey (Exists f)

Methods

fromJSONKey :: FromJSONKeyFunction (Exists f)

fromJSONKeyList :: FromJSONKeyFunction [Exists f]

ToJSONForall f => ToJSON (Exists f)

Methods

toJSON :: Exists f -> Value

toEncoding :: Exists f -> Encoding

toJSONList :: [Exists f] -> Value

toEncodingList :: [Exists f] -> Encoding

omitField :: Exists f -> Bool

(ToJSONForeach f, ToJSONSing k) => ToJSON (Some f)

Methods

toJSON :: Some f -> Value

toEncoding :: Some f -> Encoding

toJSONList :: [Some f] -> Value

toEncodingList :: [Some f] -> Encoding

omitField :: Some f -> Bool

(ToJSONKeyForall f, ToJSONForall f) => ToJSONKey (Exists f)

Methods

toJSONKey :: ToJSONKeyFunction (Exists f)

toJSONKeyList :: ToJSONKeyFunction [Exists f]

(FromJSONForeach f, Reify a) => FromJSON (ApplyForeach f a)

Methods

parseJSON :: Value -> Parser (ApplyForeach f a)

parseJSONList :: Value -> Parser [ApplyForeach f a]

omittedField :: Maybe (ApplyForeach f a)

(FromJSONKeyForeach f, Reify a) => FromJSONKey (ApplyForeach f a)

Methods

fromJSONKey :: FromJSONKeyFunction (ApplyForeach f a)

fromJSONKeyList :: FromJSONKeyFunction [ApplyForeach f a]

(ToJSONForeach f, Reify a) => ToJSON (ApplyForeach f a)

Methods

toJSON :: ApplyForeach f a -> Value

toEncoding :: ApplyForeach f a -> Encoding

toJSONList :: [ApplyForeach f a] -> Value

toEncodingList :: [ApplyForeach f a] -> Encoding

omitField :: ApplyForeach f a -> Bool

(ToJSONKeyForeach f, Reify a) => ToJSONKey (ApplyForeach f a)

Methods

toJSONKey :: ToJSONKeyFunction (ApplyForeach f a)

toJSONKeyList :: ToJSONKeyFunction [ApplyForeach f a]