Different implementation
commit5d86fdd089466a7cfac49bd63dc4be2e68ec89e8
authorparsonsmatt <parsonsmatt@gmail.com>
dateTue 20 Nov 2018, 12:30 (8 years ago)
parent3961716
src/Data/Generics/Product/Typed.hs+5−2
@@ -117,8 +117,11 @@ instance
117117 typed f s = VL.ravel (repLens . glens @(HasTotalTypePSym a)) f s
118118
119119instance {-# OVERLAPPING #-} HasType a a where
120− typed = id
121− {-# INLINE typed #-}
120+ getTyped = id
121+ {-# INLINE getTyped #-}
122+
123+ setTyped a _ = a
124+ {-# INLINE setTyped #-}
122125
123126-- See Note [Uncluttering type signatures]
124127instance {-# OVERLAPPING #-} HasType a Void where