Hets - the Heterogeneous Tool Set
Safe HaskellNone

Common.Json.ConvInstances

Orphan instances

Generic ClockTime Source # 
Instance details

Associated Types

type Rep ClockTime :: Type -> Type

Methods

from :: ClockTime -> Rep ClockTime x

to :: Rep ClockTime x -> ClockTime

FromJSON ClockTime Source # 
Instance details

Methods

parseJSON :: Value -> Parser ClockTime

parseJSONList :: Value -> Parser [ClockTime]

ToJSON ClockTime Source # 
Instance details

Methods

toJSON :: ClockTime -> Value

toEncoding :: ClockTime -> Encoding

toJSONList :: [ClockTime] -> Value

toEncodingList :: [ClockTime] -> Encoding

(Ord a, FromJSON a, FromJSONKey a) => FromJSON (Rel a) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (Rel a)

parseJSONList :: Value -> Parser [Rel a]

FromJSON a => FromJSON (SizedList a) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (SizedList a)

parseJSONList :: Value -> Parser [SizedList a]

(Ord a, ToJSON a, ToJSONKey a) => ToJSON (Rel a) Source # 
Instance details

Methods

toJSON :: Rel a -> Value

toEncoding :: Rel a -> Encoding

toJSONList :: [Rel a] -> Value

toEncodingList :: [Rel a] -> Encoding

ToJSON a => ToJSON (SizedList a) Source # 
Instance details

Methods

toJSON :: SizedList a -> Value

toEncoding :: SizedList a -> Encoding

toJSONList :: [SizedList a] -> Value

toEncodingList :: [SizedList a] -> Encoding

(Generic a, Generic b) => Generic (Relation a b) Source # 
Instance details

Associated Types

type Rep (Relation a b) :: Type -> Type

Methods

from :: Relation a b -> Rep (Relation a b) x

to :: Rep (Relation a b) x -> Relation a b

(Ord a, FromJSON a, Ord b, FromJSON b, FromJSONKey a, FromJSONKey b) => FromJSON (InjMap a b) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (InjMap a b)

parseJSONList :: Value -> Parser [InjMap a b]

(Ord a, FromJSON a, Ord b, FromJSON b, FromJSONKey a) => FromJSON (MapSet a b) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (MapSet a b)

parseJSONList :: Value -> Parser [MapSet a b]

(Ord a, Ord b, Generic a, Generic b, FromJSON a, FromJSON b, FromJSONKey a, FromJSONKey b) => FromJSON (Relation a b) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (Relation a b)

parseJSONList :: Value -> Parser [Relation a b]

(Ord a, ToJSON a, Ord b, ToJSON b, ToJSONKey a, ToJSONKey b) => ToJSON (InjMap a b) Source # 
Instance details

Methods

toJSON :: InjMap a b -> Value

toEncoding :: InjMap a b -> Encoding

toJSONList :: [InjMap a b] -> Value

toEncodingList :: [InjMap a b] -> Encoding

(Ord a, ToJSON a, Ord b, ToJSON b, ToJSONKey a) => ToJSON (MapSet a b) Source # 
Instance details

Methods

toJSON :: MapSet a b -> Value

toEncoding :: MapSet a b -> Encoding

toJSONList :: [MapSet a b] -> Value

toEncodingList :: [MapSet a b] -> Encoding

(Ord a, Ord b, Generic a, Generic b, ToJSON a, ToJSON b, ToJSONKey a, ToJSONKey b) => ToJSON (Relation a b) Source # 
Instance details

Methods

toJSON :: Relation a b -> Value

toEncoding :: Relation a b -> Encoding

toJSONList :: [Relation a b] -> Value

toEncodingList :: [Relation a b] -> Encoding