Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

  1. 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).

  2. 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.

  3. 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.

  4. module Control.Distributed.Process.Internal.BiMultiMap

    This is an implementation of bidirectional multimaps.

  5. data BiMultiMap a b v

    distributed-process Control.Distributed.Process.Internal.BiMultiMap

    A bidirectional multimaps BiMultiMap a b v is a set of triplets of type (a, b, v). It is possible to lookup values by using either a or b as keys.

  6. data Bimap (c :: a -> Exp a') (d :: b -> Exp b') (e :: f a b) (g :: f a' b')

    first-class-families Fcf

    Type-level bimap.

    Example

    >>> data Example where Ex :: a -> Example  -- Hide the type of examples to avoid brittleness in different GHC versions

>>> :kind! Ex (Eval (Bimap ((+) 1) (Flip (-) 1) '(2, 4)) :: (Natural, Natural))
Ex (Eval (Bimap ((+) 1) (Flip (-) 1) '(2, 4)) :: (Natural, Natural)) :: Example
= Ex '(3, 3)

  7. data ConcatMap (c :: a -> Exp [b]) (d :: t a) (e :: [b])

    first-class-families Fcf

    Map a function and concatenate the results. This is FoldMap specialized to the list monoid.

  8. data Bimap (c :: a -> Exp a') (d :: b -> Exp b') (e :: f a b) (g :: f a' b')

    first-class-families Fcf.Class.Bifunctor

    Type-level bimap.

    Example

    >>> data Example where Ex :: a -> Example  -- Hide the type of examples to avoid brittleness in different GHC versions

>>> :kind! Ex (Eval (Bimap ((+) 1) (Flip (-) 1) '(2, 4)) :: (Natural, Natural))
Ex (Eval (Bimap ((+) 1) (Flip (-) 1) '(2, 4)) :: (Natural, Natural)) :: Example
= Ex '(3, 3)

  9. data ConcatMap (c :: a -> Exp [b]) (d :: t a) (e :: [b])

    first-class-families Fcf.Class.Foldable

    Map a function and concatenate the results. This is FoldMap specialized to the list monoid.

  10. data FoldMap (b :: a -> Exp m) (c :: t a) (d :: m)

    first-class-families Fcf.Class.Foldable

    Type-level foldMap.

Page 518 of many | Previous | Next