Safe Haskell	None
Language	Haskell2010

Optics.PrismaticGetter

Synopsis

data A_PrismaticGetter :: OpticKind
type PrismaticGetter s t a b = Optic A_PrismaticGetter '[] s t a b
type PrismaticGetter' s a = Optic' A_PrismaticGetter '[] s a
module Optics.Optic

Documentation

data A_PrismaticGetter :: OpticKind #

Tag for a prismatic getter.

Instances

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

type PrismaticGetter s t a b = Optic A_PrismaticGetter '[] s t a b #

Type synonym for a type-modifying prismatic getter.

type PrismaticGetter' s a = Optic' A_PrismaticGetter '[] s a #

Type synonym for a type-preserving prismatic getter.

module Optics.Optic