generic-lens-1.0.0.2: Generically derive traversals, lenses and prisms.

Copyright(C) 2018 Csongor Kiss
MaintainerCsongor Kiss <kiss.csongor.kiss@gmail.com>
Safe HaskellNone
LanguageHaskell2010

Data.Generics.Product.Param

Description

License : BSD3 Stability : experimental Portability : non-portable

Derive traversal over type parameters

Documentation

newtype Rec (p :: Type) a x Source #

Constructors

Rec (K1 R a x) 

class HasParam (p :: Nat) s t a b | p t a -> s, p s b -> t, p s -> a, p t -> b where Source #

Minimal complete definition

param

Methods

param :: Applicative g => (a -> g b) -> s -> g t Source #

Instances
(GenericN s, GenericN t, s ~ Infer t (P n b PTag) a, t ~ Infer s (P n a PTag) b, Error (ArgCount s <=? n) n (ArgCount s) s, a ~ (ArgAt s n :: *), b ~ (ArgAt t n :: *), GHasParam n (RepN s) (RepN t) a b) => HasParam n s t a b Source # 
Instance details

Defined in Data.Generics.Product.Param

Methods

param :: Applicative g => (a -> g b) -> s -> g t Source #