Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. newtype LinearMap (v :: Type -> Type) (u :: Type -> Type) n

    diagrams-lib Diagrams.LinearMap

    Type for holding linear maps. Note that these are not affine transforms so attemping apply a translation with LinearMap will likely produce incorrect results.

  2. LinearMap :: (v n -> u n) -> LinearMap (v :: Type -> Type) (u :: Type -> Type) n

    diagrams-lib Diagrams.LinearMap

    No documentation available.

  3. class LinearMappable a b

    diagrams-lib Diagrams.LinearMap

    Class of things that have vectors that can be mapped over.

  4. amap :: AffineMappable a b => AffineMap (V a) (V b) (N b) -> a -> b

    diagrams-lib Diagrams.LinearMap

    Affine map over an object. Has a default implimentation of only applying the linear map

  5. linmap :: forall (v :: Type -> Type) n a b . (InSpace v n a, LinearMappable a b, N b ~ n) => LinearMap v (V b) n -> a -> b

    diagrams-lib Diagrams.LinearMap

    Apply a linear map.

  6. mkAffineMap :: (v n -> u n) -> u n -> AffineMap v u n

    diagrams-lib Diagrams.LinearMap

    Make an affine map from a linear function and a translation.

  7. toAffineMap :: forall (v :: Type -> Type) n . Transformation v n -> AffineMap v v n

    diagrams-lib Diagrams.LinearMap

    No documentation available.

  8. vmap :: LinearMappable a b => (Vn a -> Vn b) -> a -> b

    diagrams-lib Diagrams.LinearMap

    Apply a linear map to an object. If the map is not linear, behaviour will likely be wrong.

  9. data SubMap b (v :: Type -> Type) n m

    diagrams-lib Diagrams.Names

    A SubMap is a map associating names to subdiagrams. There can be multiple associations for any given name.

  10. bimap :: Bifunctor p => (a -> b) -> (c -> d) -> p a c -> p b d

    diagrams-lib Diagrams.Prelude

    Map over both arguments at the same time. 

    bimap f g ≡ first f . second g

    Examples

    >>> bimap toUpper (+1) ('j', 3)
('J',4)

    >>> bimap toUpper (+1) (Left 'j')
Left 'J'

    >>> bimap toUpper (+1) (Right 3)
Right 4

Page 498 of many | Previous | Next