composite-aeson-refined (empty) → 0.4.0.0

raw patch · 3 files changed

+49/−0 lines, 3 filesdep +basedep +composite-aesondep +refinedsetup-changed

Dependencies added: base, composite-aeson, refined

Files

• Setup.hs +2/−0
• composite-aeson-refined.cabal +29/−0
• src/Composite/Aeson/Refined.hs +18/−0

@@ -0,0 +1,2 @@+import Distribution.Simple+main = defaultMain

@@ -0,0 +1,29 @@+-- This file has been generated from package.yaml by hpack version 0.17.0.+--+-- see: https://github.com/sol/hpack++name:           composite-aeson-refined+version:        0.4.0.0+synopsis:       composite-aeson support for Refined from the refined package+description:    JsonFormat and DefaultJsonFormat for Refined+category:       Records+homepage:       https://github.com/ConferHealth/composite#readme+author:         Confer Health, Inc+maintainer:     oss@confer.care+copyright:      2017 Confer Health, Inc.+license:        BSD3+build-type:     Simple+cabal-version:  >= 1.10++library+  hs-source-dirs:+      src+  default-extensions: DataKinds FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving LambdaCase MultiParamTypeClasses MultiWayIf OverloadedStrings PatternSynonyms PolyKinds QuasiQuotes RankNTypes ScopedTypeVariables StandaloneDeriving StrictData TemplateHaskell TupleSections TypeFamilies TypeOperators ViewPatterns+  ghc-options: -Wall -O2+  build-depends:+      base >= 4.7 && < 5+    , composite-aeson+    , refined+  exposed-modules:+      Composite.Aeson.Refined+  default-language: Haskell2010

@@ -0,0 +1,18 @@+{-# OPTIONS_GHC -fno-warn-orphans #-}+module Composite.Aeson.Refined (refinedJsonFormat) where++import Composite.Aeson (DefaultJsonFormat, defaultJsonFormat, JsonFormat(JsonFormat), JsonProfunctor(JsonProfunctor))+import Refined (Predicate, Refined, refine, unrefine)++-- |Given a @'JsonFormat' e a@, produce a @JsonFormat e ('Refined' p a)@ where @p@ is some 'Predicate' from the refined library for @a@.+--+-- This maps to the same JSON as the given 'JsonFormat', but when parsing it will apply 'refine' to assert that the incoming JSON value conforms to the+-- predicate, failing to parse if not.+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 fail pure . refine =<< ia++instance (DefaultJsonFormat a, Predicate p a) => DefaultJsonFormat (Refined p a) where+  defaultJsonFormat = refinedJsonFormat defaultJsonFormat