Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
class FirstParameter a e | a -> e where Source #
getFirstParameter :: a -> e Source #
setFirstParameter :: e -> a -> a Source #
getFirstParameter :: (Generic a, GFirstParameter (Rep a) e) => a -> e Source #
setFirstParameter :: (Generic a, GFirstParameter (Rep a) e) => e -> a -> a Source #
class GFirstParameter f e where Source #
getFirstParameter' :: f a -> e Source #
setFirstParameter' :: e -> f a -> f a Source #
GFirstParameter (U1 *) String Source # | |
GFirstParameter (K1 * i a) e Source # | |
GFirstParameter (K1 * i e) e Source # | |
(GFirstParameter a e, GFirstParameter b e) => GFirstParameter ((:+:) * a b) e Source # | |
(GFirstParameter a e, GFirstParameter b e) => GFirstParameter ((:*:) * a b) e Source # | |
GFirstParameter a e => GFirstParameter (M1 * i c a) e Source # | |