Data.Profunctor.Product.Newtype

Documentation

class Newtype t where

Methods

constructor :: a -> t a

field :: t a -> a

pNewtype :: (Profunctor p, Newtype t) => p a b -> p (t a) (t b)