Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

  1. rmap :: RMap rs => (forall (x :: u) . () => f x -> g x) -> Rec f rs -> Rec g rs

    vinyl Data.Vinyl.Core

    No documentation available.

  2. fieldMap :: forall a b (s :: Symbol) . (a -> b) -> ElField '(s, a) -> ElField '(s, b)

    vinyl Data.Vinyl.Derived

    ElField is isomorphic to a functor something like Compose ElField ('(,) s).

  3. class XRMap (f :: u -> Type) (g :: u -> Type) (rs :: [u])

    vinyl Data.Vinyl.XRec

    The implementation of xrmap is broken into a type class to permit unrolling of the recursion across a record. The function mapped across the vector hides the HKD type family under a newtype constructor to help the type checker.

  4. xrmapAux :: XRMap f g rs => (forall (a :: u) . () => XData f a -> XData g a) -> XRec f rs -> XRec g rs

    vinyl Data.Vinyl.XRec

    No documentation available.

  5. type HasLinearMap (v :: Type -> Type) = (HasBasis v, Traversable v)

    diagrams-core Diagrams.Core

    HasLinearMap is a constraint synonym, just to help shorten some of the ridiculously long constraint sets.

  6. newtype SubMap b (v :: Type -> Type) n m

    diagrams-core Diagrams.Core

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

  7. SubMap :: Map Name [Subdiagram b v n m] -> SubMap b (v :: Type -> Type) n m

    diagrams-core Diagrams.Core

    No documentation available.

  8. subMap :: forall (v :: Type -> Type) m n b . (Metric v, Semigroup m, OrderedField n) => Lens' (QDiagram b v n m) (SubMap b v n m)

    diagrams-core Diagrams.Core

    Lens onto the SubMap of a QDiagram (i.e. an association from names to subdiagrams).

  9. type HasLinearMap (v :: Type -> Type) = (HasBasis v, Traversable v)

    diagrams-core Diagrams.Core.Transform

    HasLinearMap is a constraint synonym, just to help shorten some of the ridiculously long constraint sets.

  10. newtype SubMap b (v :: Type -> Type) n m

    diagrams-core Diagrams.Core.Types

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

Page 517 of many | Previous | Next