module Composite.Aeson.Refined (refinedJsonFormat) where
import Composite.Aeson (DefaultJsonFormat, defaultJsonFormat, JsonFormat(JsonFormat), JsonProfunctor(JsonProfunctor))
import Control.Monad.Error.Class (throwError)
import qualified Data.Aeson.BetterErrors as ABE
import Refined (Predicate, Refined, refine, unrefine)
refinedJsonFormat :: Predicate p a => JsonFormat e a -> JsonFormat e (Refined p a)
refinedJsonFormat (JsonFormat (JsonProfunctor oa ia)) = JsonFormat $ JsonProfunctor o i
where
o = oa . unrefine
i = either toss pure . refine =<< ia
toss = throwError . ABE.BadSchema [] . ABE.FromAeson
instance (DefaultJsonFormat a, Predicate p a) => DefaultJsonFormat (Refined p a) where
defaultJsonFormat = refinedJsonFormat defaultJsonFormat