product-profunctors-0.10.0.0: product-profunctors
Data.Profunctor.Product.Newtype
class Newtype t where Source #
Minimal complete definition
constructor, field
Methods
constructor :: a -> t a Source #
field :: t a -> a Source #
pNewtype :: (Profunctor p, Newtype t) => p a b -> p (t a) (t b) Source #