Refined.Orphan.Aeson

This module exposes orphan instances for the Refined type. This is unavoidable given the current module structure.

Orphan instances

(ToJSON a, Predicate p a) => ToJSON (Refined p a)

Methods

toJSON :: Refined p a -> Value

toEncoding :: Refined p a -> Encoding

toJSONList :: [Refined p a] -> Value

toEncodingList :: [Refined p a] -> Encoding

(FromJSON a, Predicate p a) => FromJSON (Refined p a)

Methods

parseJSON :: Value -> Parser (Refined p a)

parseJSONList :: Value -> Parser [Refined p a]