on master help sign in
its -> the
43e9804Csongor Kiss
src/Data/Generics/Product/Any.hs+7−7
@@ -57,19 +57,19 @@ class HasAny (sel :: k) a s | s sel k -> a where
57 -- unique types. Compatible with the lens package's 'Control.Lens.Lens'
57 -- unique types. Compatible with the lens package's 'Control.Lens.Lens'
58 -- type.
58 -- type.
59 --
59 --
60− -- >>> human ^. its @Int
60+ -- >>> human ^. the @Int
61 -- 50
61 -- 50
62− -- >>> human ^. its @"name"
62+ -- >>> human ^. the @"name"
63 -- "Tunyasz"
63 -- "Tunyasz"
64− -- >>> human ^. its @3
64+ -- >>> human ^. the @3
65 -- "London"
65 -- "London"
66− its :: Lens' s a
66+ the :: Lens' s a
67
67
68instance HasPosition i a s => HasAny i a s where
68instance HasPosition i a s => HasAny i a s where
69− its = numbered @i
69+ the = numbered @i
70
70
71instance HasField field a s => HasAny field a s where
71instance HasField field a s => HasAny field a s where
72− its = field @field
72+ the = field @field
73
73
74instance HasType a s => HasAny a a s where
74instance HasType a s => HasAny a a s where
75− its = typed @a
75+ the = typed @a