Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
- class Selectors rep where
Documentation
class Selectors rep where Source #
Selectors (* -> *) U1 Source # | |
(Selectors (* -> *) a, Selectors (* -> *) b) => Selectors (* -> *) ((:+:) a b) Source # | We don't really want to deal with sum types |
(Selectors (* -> *) a, Selectors (* -> *) b) => Selectors (* -> *) ((:*:) a b) Source # | |
Selectors (* -> *) f => Selectors (* -> *) (M1 D x f) Source # | |
Selectors (* -> *) f => Selectors (* -> *) (M1 C x f) Source # | |
(Selector Meta s, Typeable * t) => Selectors (* -> *) (M1 S s (K1 R t)) Source # | |