Data.Dependent.Sum.Orphans

Orphan instances

ForallF ToJSON r => ToJSON (Some r)

Methods

toJSON :: Some r -> Value

toEncoding :: Some r -> Encoding

toJSONList :: [Some r] -> Value

toEncodingList :: [Some r] -> Encoding

(ForallF ToJSON f, Has' ToJSON f g) => ToJSON (DMap f g)

Methods

toJSON :: DMap f g -> Value

toEncoding :: DMap f g -> Encoding

toJSONList :: [DMap f g] -> Value

toEncodingList :: [DMap f g] -> Encoding

(ForallF ToJSON f, Has' ToJSON f g) => ToJSON (DSum f g)

Methods

toJSON :: DSum f g -> Value

toEncoding :: DSum f g -> Encoding

toJSONList :: [DSum f g] -> Value

toEncodingList :: [DSum f g] -> Encoding

(FromJSON (Some f), GCompare f, Has' FromJSON f g) => FromJSON (DMap f g)

Methods

parseJSON :: Value -> Parser (DMap f g)

parseJSONList :: Value -> Parser [DMap f g]

(FromJSON (Some f), Has' FromJSON f g) => FromJSON (DSum f g)

Methods

parseJSON :: Value -> Parser (DSum f g)

parseJSONList :: Value -> Parser [DSum f g]