Hoogle Search
Within LTS Haskell 24.39 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
transformM :: (Uniplate a, Monad m) => (a -> m a) -> a -> m ageneric-deriving Generics.Deriving.Uniplate No documentation available.
transformM' :: forall m (a :: k) . (Uniplate' f b, Monad m) => (b -> m b) -> f a -> m (f a)generic-deriving Generics.Deriving.Uniplate No documentation available.
transformMdefault :: (Generic a, Uniplate' (Rep a) a, Monad m) => (a -> m a) -> a -> m ageneric-deriving Generics.Deriving.Uniplate No documentation available.
transformdefault :: (Generic a, Uniplate' (Rep a) a) => (a -> a) -> a -> ageneric-deriving Generics.Deriving.Uniplate No documentation available.
mkTransformation :: Num a => Quaternion a -> V3 a -> M44 alinear Linear.Matrix Build a transformation matrix from a rotation expressed as a Quaternion and a translation vector.
mkTransformationMat :: Num a => M33 a -> V3 a -> M44 alinear Linear.Matrix Build a transformation matrix from a rotation matrix and a translation vector.
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.
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
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
type family
EliminationForms k :: ([(Symbol, Symbol)], [Symbol])optics-core Optics.Internal.Optic.Subtyping No documentation available.