Fresnel.Getter

Getters

type Getter s a = forall (p :: Type -> Type -> Type). IsGetter p => Optic' p s a

class (IsLens p, Bicontravariant p, Cochoice p) => IsGetter (p :: Type -> Type -> Type)

Instances

(Contravariant f, Traversable f) => IsGetter (OptionalStar f)

Defined in Fresnel.Getter.Internal

(Contravariant f, Traversable f) => IsGetter (Star1 f)

Defined in Fresnel.Getter.Internal

IsGetter (Forget r :: Type -> Type -> Type)

Defined in Fresnel.Getter.Internal

(Contravariant f, Traversable f) => IsGetter (Star f)

Defined in Fresnel.Getter.Internal

Construction

to :: (s -> a) -> Getter s a

getting :: (Profunctor p, Bicontravariant p) => Optic p s t a b -> Optic' p s a

Elimination

views :: Getter s a -> (a -> r) -> s -> r

view :: Getter s a -> s -> a

(^.) :: s -> Getter s a -> a infixl 8