Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. class Monoid' (f :: k -> Type)

   generic-deriving	Generics.Deriving.Monoid

   No documentation available.

2. coincides :: (Epsilon a, Fractional a) => Plucker a -> Plucker a -> Bool

   linear	Linear.Plucker

   Checks if two lines coincide in space. In other words, undirected equality.

3. coincides' :: (Epsilon a, Fractional a, Ord a) => Plucker a -> Plucker a -> Bool

   linear	Linear.Plucker

   Checks if two lines coincide in space, and have the same orientation.

4. module Linear.Plucker.Coincides

   Utility for working with Plücker coordinates for lines in 3d homogeneous space.

5. data Coincides a

   linear	Linear.Plucker.Coincides

   When lines are represented as Plücker coordinates, we have the ability to check for both directed and undirected equality. Undirected equality between Lines (or a Line and a Ray) checks that the two lines coincide in 3D space. Directed equality, between two Rays, checks that two lines coincide in 3D, and have the same direction. To accomodate these two notions of equality, we use an Eq instance on the Coincides data type. For example, to check the directed equality between two lines, p1 and p2, we write, Ray p1 == Ray p2.

6. dividing :: (Fractional a, Eq a) => a -> Iso' a a

   optics-core	Numeric.Optics

   dividing n = iso (/n) (*n)
   dividing n = re (multiplying n)
   

   Note: This errors for n = 0

7. type family HideReps (g :: Type -> Type) (h :: Type -> Type)

   optics-core	Optics.Internal.Generic.TypeLevel

   Generate bogus equality constraints that attempt to unify generic representations with this type in case there is an error such as missing field, constructor etc. so these huge types don't leak into error messages.

8. unwrapIdentity' :: Identity' a -> a

   optics-core	Optics.Internal.Utils

   No documentation available.

9. wrapIdentity' :: a -> Identity' a

   optics-core	Optics.Internal.Utils

   Mark a value for evaluation to whnf. This allows us to, when applying a setter to a structure, evaluate only the parts that we modify. If an optic focuses on multiple targets, Applicative instance of Identity' makes sure that we force evaluation of all of them, but we leave anything else alone.

10. devoid :: IxLens' i Void a

    optics-core	Optics.IxLens

    There is an indexed field for every type in the Void.

    >>> set (mapped % devoid) 1 []
    []
    

    >>> over (_Just % devoid) abs Nothing
    Nothing
    

Page 635 of many | Previous | Next