Searched refs:mapHiding (Results 1 – 4 of 4) sorted by relevance
285 setHiding h = mapHiding (const h)287 mapHiding :: (Hiding -> Hiding) -> a -> a292 default mapHiding :: LensArgInfo a => (Hiding -> Hiding) -> a -> a293 mapHiding f = mapArgInfo $ \ ai -> ai { argInfoHiding = f $ argInfoHiding ai } function298 mapHiding = id function303 mapHiding f (WithHiding h a) = WithHiding (f h) a function308 mapHiding = fmap . mapHiding function312 mergeHiding (WithHiding h a) = mapHiding (mappend h) a1654 mapHiding f ai = ai { argInfoHiding = f (argInfoHiding ai) } function1713 mapHidingArgInfo = mapArgInfo . mapHiding[all …]
598 mapHiding f (DomainFree t x) = DomainFree t $ mapHiding f x function599 mapHiding f (DomainFull tb) = DomainFull $ mapHiding f tb function604 mapHiding f (TBind r t xs e) = TBind r t ((fmap . mapHiding) f xs) e function605 mapHiding f b@TLet{} = b function
776 mapHiding f (DomainFree x) = DomainFree $ mapHiding f x function777 mapHiding f (DomainFull a) = DomainFull $ mapHiding f a function782 mapHiding f (TBind r xs e) = TBind r (fmap (mapHiding f) xs) e function783 mapHiding f b@TLet{} = b function
305 addContext (x , mapHiding (mappend h) dom) .