Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. transformMdefault :: (Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m a

    generic-deriving Generics.Deriving.Uniplate

    No documentation available.

  2. transformdefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> a

    generic-deriving Generics.Deriving.Uniplate

    No documentation available.

  3. mkTransformation :: Num a => Quaternion a -> V3 a -> M44 a

    linear Linear.Matrix

    Build a transformation matrix from a rotation expressed as a Quaternion and a translation vector.

  4. mkTransformationMat :: Num a => M33 a -> V3 a -> M44 a

    linear Linear.Matrix

    Build a transformation matrix from a rotation matrix and a translation vector.

  5. basisFor :: (Traversable t, Num a) => t b -> [t a]

    linear Linear.Vector

    Produce a default basis for a vector space from which the argument is drawn.

  6. ifor :: (TraversableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f (t b)

    optics-core Optics.Indexed.Core

    Traverse with an index (and the arguments flipped). 

    for a ≡ ifor a . const
ifor ≡ flip itraverse

  7. ifor_ :: (FoldableWithIndex i t, Applicative f) => t a -> (i -> a -> f b) -> f ()

    optics-core Optics.Indexed.Core

    Traverse elements with access to the index i, discarding the results (with the arguments flipped). 

    ifor_ ≡ flip itraverse_
    When you don't need access to the index then for_ is more flexible in what it accepts. 
    for_ a ≡ ifor_ a . const

  8. type family EliminationForms k :: ([(Symbol, Symbol)], [Symbol])

    optics-core Optics.Internal.Optic.Subtyping

    No documentation available.

  9. iforOf_ :: forall k f (is :: IxList) i s a r . (Is k A_Fold, Applicative f, HasSingleIndex is i) => Optic' k is s a -> s -> (i -> a -> f r) -> f ()

    optics-core Optics.IxFold

    A version of itraverseOf_ with the arguments flipped.

  10. iforOf :: forall k f (is :: IxList) i s t a b . (Is k A_Traversal, Applicative f, HasSingleIndex is i) => Optic k is s t a b -> s -> (i -> a -> f b) -> f t

    optics-core Optics.IxTraversal

    A version of itraverseOf with the arguments flipped.

Page 525 of many | Previous | Next