Safe Haskell	None
Language	Haskell2010

Optics.Getter

Synopsis

data A_Getter :: OpticKind
type Getter s a = Optic' A_Getter '[] s a
toGetter :: Is k A_Getter => Optic' k is s a -> Optic' A_Getter is s a
to :: (s -> a) -> Getter s a
view1 :: Is k A_Getter => Optic' k is s a -> s -> a
module Optics.Optic

Documentation

data A_Getter :: OpticKind #

Tag for a getter.

Instances

ReversibleOptic A_Getter #
Instance details Defined in Optics.Internal.Re Associated Types type ReversedOptic A_Getter :: OpticKind # Methods re :: Optic A_Getter [] s t a b -> Optic (ReversedOptic A_Getter) [] b a t s #
Is A_Getter A_Fold #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_Getter A_Fold p -> (Constraints A_Getter p -> r) -> Constraints A_Fold p -> r
Is A_Getter An_AffineFold #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_Getter An_AffineFold p -> (Constraints A_Getter p -> r) -> Constraints An_AffineFold p -> r
Is A_PrismaticGetter A_Getter #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_PrismaticGetter A_Getter p -> (Constraints A_PrismaticGetter p -> r) -> Constraints A_Getter p -> r
Is A_Lens A_Getter #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy A_Lens A_Getter p -> (Constraints A_Lens p -> r) -> Constraints A_Getter p -> r
Is An_Iso A_Getter #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Iso A_Getter p -> (Constraints An_Iso p -> r) -> Constraints A_Getter p -> r
Is An_Equality A_Getter #
Instance details Defined in Optics.Internal.Optic.Subtyping Methods implies :: proxy An_Equality A_Getter p -> (Constraints An_Equality p -> r) -> Constraints A_Getter p -> r
ViewableOptic A_Getter r #
Instance details Defined in Optics.Internal.View Associated Types type ViewResult A_Getter r :: * # Methods view :: Optic' A_Getter is s r -> s -> ViewResult A_Getter r #
type ReversedOptic A_Getter #
Instance details Defined in Optics.Internal.Re type ReversedOptic A_Getter = A_Review
type ViewResult A_Getter r #
Instance details Defined in Optics.Internal.View type ViewResult A_Getter r = r

type Getter s a = Optic' A_Getter '[] s a #

Type synonym for a getter.

toGetter :: Is k A_Getter => Optic' k is s a -> Optic' A_Getter is s a #

Explicitly cast an optic to a getter.

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

Build a getter from a function.

view1 :: Is k A_Getter => Optic' k is s a -> s -> a #

Apply a getter.

module Optics.Optic