Composite.Opaleye.ProductProfunctors

Documentation

class ProductProfunctor p => PRec p rs where

Type class implementing traversal of a record, yanking individual product profunctors Record [p a b] (though with distinct a and b at each position) up to p (Record as) (Record bs).

This is similar to the pN functions on tuples provided by the product-profunctors library.

Associated Types

type PRecContra p rs :: [*]

Record fields rs with the profunctor removed yielding the contravariant parameter. E.g. PRecContra p '[p a b] ~ '[a]

type PRecCo p rs :: [*]

Record fields rs with the profunctor removed yielding the covariant parameter. E.g. PRecContra p '[p a b] ~ '[a]

Methods

pRec :: Rec Identity rs -> p (Rec Identity (PRecContra p rs)) (Rec Identity (PRecCo p rs))

Traverse the record, transposing the profunctors p within to the outside like traverse does for Applicative effects.

Roughly equivalent to Record '[p a b, p c d, …] -> p (Record '[a, c, …]) (Record '[b, d, …])

Instances

ProductProfunctor p => PRec p ([] :: [Type])

Defined in Composite.Opaleye.ProductProfunctors

Associated Types

type PRecContra p [] :: [Type]

type PRecCo p [] :: [Type]

Methods

pRec :: Rec Identity [] -> p (Rec Identity (PRecContra p [])) (Rec Identity (PRecCo p []))

(ProductProfunctor p, PRec p rs) => PRec p ((s :-> p a b) ': rs)

Defined in Composite.Opaleye.ProductProfunctors

Associated Types

type PRecContra p ((s :-> p a b) ': rs) :: [Type]

type PRecCo p ((s :-> p a b) ': rs) :: [Type]

Methods

pRec :: Rec Identity ((s :-> p a b) ': rs) -> p (Rec Identity (PRecContra p ((s :-> p a b) ': rs))) (Rec Identity (PRecCo p ((s :-> p a b) ': rs)))

Orphan instances

(ProductProfunctor p, Default p a b, Default p (Rec Identity rsContra) (Rec Identity rsCo)) => Default p (Rec Identity ((s :-> a) ': rsContra)) (Rec Identity ((s :-> b) ': rsCo))

Methods

def :: p (Rec Identity ((s :-> a) ': rsContra)) (Rec Identity ((s :-> b) ': rsCo))

ProductProfunctor p => Default p (Rec Identity ([] :: [Type])) (Rec Identity ([] :: [Type]))

Methods

def :: p (Rec Identity []) (Rec Identity [])