Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type OptionalFold s a = forall p. IsOptionalFold p => Optic' p s a
- class (IsOptional p, IsGetter p) => IsOptionalFold p
- folding :: (s -> Maybe a) -> OptionalFold s a
- filtered :: (a -> Bool) -> OptionalFold a a
- is :: OptionalFold s a -> s -> Bool
- isn't :: OptionalFold s a -> s -> Bool
- traverseOf_ :: Functor f => OptionalFold s a -> (forall x. x -> f x) -> (a -> f u) -> s -> f ()
- newtype Failover s a = Failover {
- getFailover :: OptionalFold s a
Optional folds
type OptionalFold s a = forall p. IsOptionalFold p => Optic' p s a Source #
class (IsOptional p, IsGetter p) => IsOptionalFold p Source #
Instances
(Traversable f, Contravariant f) => IsOptionalFold (OptionalStar f) Source # | |
Defined in Fresnel.OptionalFold.Internal | |
Monoid r => IsOptionalFold (Forget r :: Type -> Type -> TYPE LiftedRep) Source # | |
Defined in Fresnel.OptionalFold.Internal | |
(Applicative f, Traversable f, Contravariant f) => IsOptionalFold (Star f) Source # | |
Defined in Fresnel.OptionalFold.Internal |
Construction
folding :: (s -> Maybe a) -> OptionalFold s a Source #
filtered :: (a -> Bool) -> OptionalFold a a Source #
Elimination
is :: OptionalFold s a -> s -> Bool Source #
isn't :: OptionalFold s a -> s -> Bool Source #
traverseOf_ :: Functor f => OptionalFold s a -> (forall x. x -> f x) -> (a -> f u) -> s -> f () Source #
Failover | |
|