Documentation

type Wither s t a b = forall p. Withering p => Optic p s t a b Source #

type Wither' s a = Wither s s a a Source #

guarding :: Alternative f => (a -> Bool) -> a -> f a Source #

guarded :: forall a b. (a -> Bool) -> Wither a b a b Source #

filterOf :: Optic (Star Maybe) s t a a -> (a -> Bool) -> s -> Maybe t Source #

witherPrism :: forall p s t a b. Withering p => Prism s t a b -> Optic p s t a b Source #