| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Fresnel.OptionalFold
Synopsis
- type OptionalFold s a = forall (p :: Type -> Type -> Type). IsOptionalFold p => Optic' p s a
- class (IsOptional p, IsGetter p) => IsOptionalFold (p :: Type -> Type -> Type)
- 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 :: Type -> Type -> Type). IsOptionalFold p => Optic' p s a Source #
class (IsOptional p, IsGetter p) => IsOptionalFold (p :: Type -> Type -> Type) Source #
Instances
| (Traversable f, Contravariant f) => IsOptionalFold (OptionalStar f) Source # | |
Defined in Fresnel.OptionalFold.Internal | |
| Monoid r => IsOptionalFold (Forget r :: Type -> Type -> Type) 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 #
Constructors
| Failover | |
Fields
| |