| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Optics.Mapping
Description
Synopsis
- class MappingOptic k (f :: Type -> Type) (g :: Type -> Type) s t a b where
- type MappedOptic k
- mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic k is s t a b -> Optic (MappedOptic k) is (f s) (g t) (f a) (g b)
Documentation
class MappingOptic k (f :: Type -> Type) (g :: Type -> Type) s t a b where Source #
Class for optics supporting mapping through a Functor.
Since: 0.3
Associated Types
type MappedOptic k Source #
Type family that maps an optic to the optic kind produced by
mapping using it.
Methods
mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic k is s t a b -> Optic (MappedOptic k) is (f s) (g t) (f a) (g b) Source #
Instances
| (Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Getter f g s t a b Source # |
| ||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_Getter is s t a b -> Optic (MappedOptic A_Getter) is (f s) (g t) (f a) (g b) Source # | |||||
| (Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Lens f g s t a b Source # | |||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_Lens is s t a b -> Optic (MappedOptic A_Lens) is (f s) (g t) (f a) (g b) Source # | |||||
| (Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Prism f g s t a b Source # | |||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_Prism is s t a b -> Optic (MappedOptic A_Prism) is (f s) (g t) (f a) (g b) Source # | |||||
| (Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_ReversedLens f g s t a b Source # | |||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_ReversedLens is s t a b -> Optic (MappedOptic A_ReversedLens) is (f s) (g t) (f a) (g b) Source # | |||||
| (Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_ReversedPrism f g s t a b Source # | |||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_ReversedPrism is s t a b -> Optic (MappedOptic A_ReversedPrism) is (f s) (g t) (f a) (g b) Source # | |||||
| (Functor f, f ~ g, s ~ t, a ~ b) => MappingOptic A_Review f g s t a b Source # | |||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic A_Review is s t a b -> Optic (MappedOptic A_Review) is (f s) (g t) (f a) (g b) Source # | |||||
| (Functor f, Functor g) => MappingOptic An_Iso f g s t a b Source # | |||||
Defined in Optics.Mapping Associated Types
Methods mapping :: forall (is :: IxList). AcceptsEmptyIndices "mapping" is => Optic An_Iso is s t a b -> Optic (MappedOptic An_Iso) is (f s) (g t) (f a) (g b) Source # | |||||