| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Fresnel.Getter
Contents
Synopsis
- type Getter s a = forall p. IsGetter p => Optic' p s a
- class (IsLens p, Bicontravariant p, Cochoice p) => IsGetter p
- to :: (s -> a) -> Getter s a
- getting :: (Profunctor p, Bicontravariant p) => Optic p s t a b -> Optic' p s a
- views :: Getter s a -> (a -> r) -> s -> r
- view :: Getter s a -> s -> a
- (^.) :: s -> Getter s a -> a
Getters
class (IsLens p, Bicontravariant p, Cochoice p) => IsGetter p Source #
Instances
| (Contravariant f, Traversable f) => IsGetter (OptionalStar f) Source # | |
Defined in Fresnel.Getter.Internal | |
| IsGetter (Forget r :: Type -> Type -> Type) Source # | |
Defined in Fresnel.Getter.Internal | |
| (Contravariant f, Traversable f) => IsGetter (Star f) Source # | |
Defined in Fresnel.Getter.Internal | |