Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. module Optics.IxAffineFold

    An IxAffineFold is an indexed version of an AffineFold. See the "Indexed optics" section of the overview documentation in the Optics module of the main optics package for more details on indexed optics.

  2. type IxAffineFold i s a = Optic' An_AffineFold WithIx i s a

    optics-core Optics.IxAffineFold

    Type synonym for an indexed affine fold.

  3. module Optics.IxAffineTraversal

    An IxAffineTraversal is an indexed version of an AffineTraversal. See the "Indexed optics" section of the overview documentation in the Optics module of the main optics package for more details on indexed optics.

  4. type IxAffineTraversal i s t a b = Optic An_AffineTraversal WithIx i s t a b

    optics-core Optics.IxAffineTraversal

    Type synonym for a type-modifying indexed affine traversal.

  5. type IxAffineTraversal' i s a = Optic' An_AffineTraversal WithIx i s a

    optics-core Optics.IxAffineTraversal

    Type synonym for a type-preserving indexed affine traversal.

  6. type IxAffineTraversalVL i s t a b = forall (f :: Type -> Type) . Functor f => forall r . () => r -> f r -> i -> a -> f b -> s -> f t

    optics-core Optics.IxAffineTraversal

    Type synonym for a type-modifying van Laarhoven indexed affine traversal. Note: this isn't exactly van Laarhoven representation as there is no Pointed class (which would be a superclass of Applicative that contains pure but not <*>). You can interpret the first argument as a dictionary of Pointed that supplies the point function (i.e. the implementation of pure).

  7. type IxAffineTraversalVL' i s a = IxAffineTraversalVL i s s a a

    optics-core Optics.IxAffineTraversal

    Type synonym for a type-preserving van Laarhoven indexed affine traversal.

  8. module Optics.IxFold

    An IxFold is an indexed version of a Fold. See the "Indexed optics" section of the overview documentation in the Optics module of the main optics package for more details on indexed optics.

  9. type IxFold i s a = Optic' A_Fold WithIx i s a

    optics-core Optics.IxFold

    Type synonym for an indexed fold.

  10. module Optics.IxGetter

    An IxGetter is an indexed version of a Getter. See the "Indexed optics" section of the overview documentation in the Optics module of the main optics package for more details on indexed optics.

Page 12 of many | Previous | Next