stock-aeson: Derive ToJSON / FromJSON via the stock plugin

The stock plugin provides a newtype Stock for deriving and synthesising instances at compile time. stock-aeson extends it to support ToJSON, FromJSON, and their higher-kinded variants.

{-# options_ghc -fplugin Stock #-}

{-# language DerivingVia #-}

import Stock
import Stock.Aeson

data Person = P { name :: String, age :: Int }
  deriving (ToJSON, FromJSON) via
    Stock Person

The wire format reproduces aeson's genericToJSON / genericParseJSON defaultOptions. stock-aeson is a drop-in for deriving anyclass (ToJSON, FromJSON).

stock-aeson provides six instances, that signal to the plugin how to derive ToJSON, FromJSON.

instance DeriveStock  ToJSON    ..
instance DeriveStock1 ToJSON1   ..
instance DeriveStock2 ToJSON2   ..
instance DeriveStock  FromJSON  ..
instance DeriveStock1 FromJSON1 ..
instance DeriveStock2 FromJSON2 ..

The lifted variants derive the same zero-cost way (no Generic at runtime): parameter fields route through the supplied per-parameter encoders/parsers, so the bytes still match aeson's generic deriving.

data F a   = MkF a [a]   deriving (ToJSON1, FromJSON1) via Stock1 F
data P a b = MkP a b [b] deriving (ToJSON2, FromJSON2) via Stock2 P

stock companion packages include:

• stock-deepseq: NFData, NFData1, NFData2

• stock-hashable: Hashable, Hashable1, Hashable2

• stock-aeson: ToJSON, ToJSON1, ToJSON2; FromJSON, FromJSON1, FromJSON2

• stock-quickcheck: Arbitrary, Arbitrary1, Arbitrary2; CoArbitrary

• stock-profunctors: Profunctor

Modules

[Index] [Quick Jump]

Downloads

• stock-aeson-0.1.0.0.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• BaldurBlondal

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates