stock-profunctors: Derive Profunctor via the stock plugin

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

Modules

[Index] [Quick Jump]

Downloads

• stock-profunctors-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