Copyright	(C) 2018 Csongor Kiss
Maintainer	Csongor Kiss <kiss.csongor.kiss@gmail.com>
Safe Haskell	None
Language	Haskell2010

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

Methods

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

Instances

(GenericN s, GenericN t, (~) Type s (Infer t (P * n b PTag) a), (~) Type t (Infer s (P * n a PTag) b), Error ((<=?) (ArgCount Type s) n) n (ArgCount Type s) s, (~) * a (ArgAt Type * s n), (~) * b (ArgAt Type * t n), GHasParam n (RepN s) (RepN t) a b) => HasParam n s t a b Source #
Methods param :: Applicative g => (a -> g b) -> s -> g t Source #