aeson-via (empty) → 0.1.0

raw patch · 5 files changed

+164/−0 lines, 5 filesdep +aesondep +aeson-casingdep +basesetup-changed

Dependencies added: aeson, aeson-casing, base, newtype-generics, text

Files

LICENSE +30/−0
README.md +5/−0
Setup.hs +2/−0
aeson-via.cabal +43/−0
src/AesonVia.hs +84/−0

+ LICENSE view

@@ -0,0 +1,30 @@+Copyright Eric Conlon (c) 2020++All rights reserved.++Redistribution and use in source and binary forms, with or without+modification, are permitted provided that the following conditions are met:++    * Redistributions of source code must retain the above copyright+      notice, this list of conditions and the following disclaimer.++    * Redistributions in binary form must reproduce the above+      copyright notice, this list of conditions and the following+      disclaimer in the documentation and/or other materials provided+      with the distribution.++    * Neither the name of Eric Conlon nor the names of other+      contributors may be used to endorse or promote products derived+      from this software without specific prior written permission.++THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS+"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT+LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR+A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT+OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,+SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT+LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,+DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY+THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT+(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

+ README.md view

@@ -0,0 +1,5 @@+# aeson-via++[![CircleCI](https://circleci.com/gh/ejconlon/aeson-via/tree/master.svg?style=svg)](https://circleci.com/gh/ejconlon/aeson-via/tree/master)++Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses with typeclass-directed configuration.

+ Setup.hs view

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

+ aeson-via.cabal view

@@ -0,0 +1,43 @@+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.33.0.+--+-- see: https://github.com/sol/hpack+--+-- hash: 60d4229649edb0ef7f1268f79df05c7fa9d34be348ef1a2d860902ccdc143242++name:           aeson-via+version:        0.1.0+synopsis:       Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses+description:    Please see the README on GitHub at <https://github.com/ejconlon/aeson-via#readme>+category:       Data+homepage:       https://github.com/ejconlon/aeson-via#readme+bug-reports:    https://github.com/ejconlon/aeson-via/issues+author:         Eric Conlon+maintainer:     ejconlon@gmail.com+copyright:      (c) 2020 Eric Conlon+license:        BSD3+license-file:   LICENSE+build-type:     Simple+extra-source-files:+    README.md++source-repository head+  type: git+  location: https://github.com/ejconlon/aeson-via++library+  exposed-modules:+      AesonVia+  other-modules:+      Paths_aeson_via+  hs-source-dirs:+      src+  ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wpartial-fields -Wredundant-constraints -fno-warn-unused-top-binds+  build-depends:+      aeson >=1.4+    , aeson-casing >=0.2+    , base >=4.12 && <5+    , newtype-generics >=0.5+    , text >=1.2+  default-language: Haskell2010

+ src/AesonVia.hs view

@@ -0,0 +1,84 @@+{-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE TypeFamilies #-}+{-# LANGUAGE UndecidableInstances #-}++module AesonVia+  ( AesonRecord (..)+  , AesonNewtype (..)+  , AesonTag (..)+  , HasJSONOptions (..)+  , HasTagPrefix (..)+  ) where++import Control.Newtype.Generics (Newtype, O, pack, unpack)+import Data.Aeson+import Data.Aeson.Casing (aesonPrefix, snakeCase)+import Data.Proxy (Proxy (..))+import Data.Text (Text)+import qualified Data.Text as Text+import GHC.Generics (Generic, Rep)+import Prelude++-- Options++recordOptions :: Options+recordOptions = (aesonPrefix snakeCase) { omitNothingFields = True }++tagOptions :: Text -> Options+tagOptions prefix =+  let prefixLen = Text.length prefix+  in defaultOptions+      { allNullaryToStringTag = True+      , constructorTagModifier = snakeCase . drop prefixLen+      }++newtypeOptions :: Options+newtypeOptions = defaultOptions+  { unwrapUnaryRecords = True+  }++-- Has classes++class HasJSONOptions a where+  getJSONOptions :: Proxy a -> Options++class HasTagPrefix a where+  getTagPrefix :: Proxy a -> Text++-- Wrappers++newtype AesonTag a = AesonTag { unAesonTag :: a }++instance HasTagPrefix a => HasJSONOptions (AesonTag a) where+  getJSONOptions _ = tagOptions (getTagPrefix (Proxy :: Proxy a))++instance (HasJSONOptions (AesonTag a), Generic a, GToJSON Zero (Rep a), GToEncoding Zero (Rep a)) => ToJSON (AesonTag a) where+  toJSON = genericToJSON (getJSONOptions (Proxy :: Proxy (AesonTag a))) . unAesonTag+  toEncoding = genericToEncoding (getJSONOptions (Proxy :: Proxy (AesonTag a))) . unAesonTag++instance (HasJSONOptions (AesonTag a), Generic a, GFromJSON Zero (Rep a)) => FromJSON (AesonTag a) where+  parseJSON = (AesonTag <$>) . genericParseJSON (getJSONOptions (Proxy :: Proxy (AesonTag a)))++newtype AesonRecord a = AesonRecord { unAesonRecord :: a }++instance HasJSONOptions (AesonRecord a) where+  getJSONOptions _ = recordOptions++instance (HasJSONOptions (AesonRecord a), Generic a, GToJSON Zero (Rep a), GToEncoding Zero (Rep a)) => ToJSON (AesonRecord a) where+  toJSON = genericToJSON (getJSONOptions (Proxy :: Proxy (AesonRecord a))) . unAesonRecord+  toEncoding = genericToEncoding (getJSONOptions (Proxy :: Proxy (AesonRecord a))) . unAesonRecord++instance (HasJSONOptions (AesonRecord a), Generic a, GFromJSON Zero (Rep a)) => FromJSON (AesonRecord a) where+  parseJSON = (AesonRecord <$>) . genericParseJSON (getJSONOptions (Proxy :: Proxy (AesonRecord a)))++newtype AesonNewtype n o = AesonNewtype { unAesonNewtype :: n }++instance HasJSONOptions (AesonNewtype n o) where+  getJSONOptions _ = newtypeOptions++instance (Newtype n, o ~ O n, ToJSON o) => ToJSON (AesonNewtype n o) where+  toJSON = toJSON . unpack . unAesonNewtype+  toEncoding = toEncoding . unpack . unAesonNewtype++instance (Newtype n, o ~ O n, FromJSON o) => FromJSON (AesonNewtype n o) where+  parseJSON = ((AesonNewtype . pack) <$>) . parseJSON