Data.Profunctor.Product.Newtype
class Newtype t where Source #
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 #