@hackage / stock-profunctors

The stock plugin provides a newtype Stock for deriving and synthesising instances at compile time. stock-profunctors extends it to support Profunctor.

{-# options_ghc -fplugin Stock #-}

{-# language DerivingVia #-}

import Data.Kind
import Stock
import Stock.Profunctor

type    Foo :: Type -> Type -> Type
newtype Foo i o = Foo ((((o -> i) -> o) -> i) 
                    -> (((i -> o) -> i) -> o))
  deriving Functor    via Stock1 (Foo i)
  deriving Profunctor via Stock2 Foo

stock-profunctors provides an instance for DeriveStock2 Profunctor that signals to the plugin how to derive Profunctor.

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