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.

Exact lookup

1. module Diagrams.Transform

   Affine transformations, parameterized by any vector space. For transformations on particular vector spaces, see e.g. Diagrams.TwoD.Transform.

2. class Transformable t

   diagrams-lib	Diagrams.Transform

   Type class for things t which can be transformed.

3. data Transformation (v :: Type -> Type) n

   diagrams-lib	Diagrams.Transform

   General (affine) transformations, represented by an invertible linear map, its transpose, and a vector representing a translation component. By the transpose of a linear map we mean simply the linear map corresponding to the transpose of the map's matrix representation. For example, any scale is its own transpose, since scales are represented by matrices with zeros everywhere except the diagonal. The transpose of a rotation is the same as its inverse. The reason we need to keep track of transposes is because it turns out that when transforming a shape according to some linear map L, the shape's normal vectors transform according to L's inverse transpose. (For a more detailed explanation and proof, see https://wiki.haskell.org/Diagrams/Dev/Transformations.) This is exactly what we need when transforming bounding functions, which are defined in terms of perpendicular (i.e. normal) hyperplanes. For more general, non-invertible transformations, see Diagrams.Deform (in diagrams-lib).

4. transform :: Transformable t => Transformation (V t) (N t) -> t -> t

   diagrams-lib	Diagrams.Transform

   Apply a transformation to an object.

5. transformed :: forall (v :: Type -> Type) n a b . (InSpace v n a, SameSpace a b, Transformable a, Transformable b) => Transformation v n -> Iso a b a b

   diagrams-lib	Diagrams.Transform

   Use a Transformation to make an Iso between an object transformed and untransformed. This is useful for carrying out functions under another transform:

   under (transformed t) f               == transform (inv t) . f . transform t
   under (transformed t1) (transform t2) == transform (conjugate t1 t2)
   transformed t ## a                    == transform t a
   a ^. transformed t                    == transform (inv t) a
   

6. module Diagrams.TwoD.Deform

   No documentation available.

7. module Diagrams.TwoD.Transform

   Transformations specific to two dimensions, with a few generic transformations (uniform scaling, translation) also re-exported for convenience.

8. coercionToPlatformTypes :: Either (Coercion OsChar WindowsChar, Coercion OsString WindowsString) (Coercion OsChar PosixChar, Coercion OsString PosixString)

   os-string	System.OsString

   This is a type-level evidence that OsChar is a newtype wrapper over WindowsChar or PosixChar and OsString is a newtype wrapper over WindowsString or PosixString. If you pattern match on coercionToPlatformTypes, GHC will know that relevant types are coercible to each other. This helps to avoid CPP in certain scenarios.

9. type PlatformChar = PosixChar

   os-string	System.OsString.Internal.Types

   No documentation available.

10. type PlatformString = PosixString

    os-string	System.OsString.Internal.Types

    No documentation available.

Page 554 of many | Previous | Next