fresnel-0.0.0.1: high-powered optics in a small package
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fresnel.Getter

Synopsis

Getters

type Getter s a = forall p. IsGetter p => Optic' p s a Source #

class (IsLens p, Bicontravariant p, Cochoice p) => IsGetter p Source #

Instances

Instances details
(Contravariant f, Traversable f) => IsGetter (OptionalStar f) Source # 
Instance details

Defined in Fresnel.Getter.Internal

IsGetter (Forget r :: Type -> Type -> TYPE LiftedRep) Source # 
Instance details

Defined in Fresnel.Getter.Internal

(Contravariant f, Traversable f) => IsGetter (Star f) Source # 
Instance details

Defined in Fresnel.Getter.Internal

Construction

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

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

Elimination

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

view :: Getter s a -> s -> a Source #

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