Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

  1. module Relude.Extra.Map

    Contains implementation of polymorphic type classes for data types Set and Map.

  2. data Map (c :: a -> Exp b) (d :: f a) (e :: f b)

    first-class-families Fcf

    Type-level fmap for type-level functors. Note: this name clashes with Map from containers. FMap is provided as a synonym to avoid this.

    Example

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

>>> data AddMul :: Nat -> Nat -> Exp Nat

>>> type instance Eval (AddMul x y) = (x TL.+ y) TL.* (x TL.+ y)

>>> :kind! Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat])
Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat]) :: Example
= Ex [4, 9, 16, 25, 36]

  3. data Map (c :: a -> Exp b) (d :: f a) (e :: f b)

    first-class-families Fcf.Class.Functor

    Type-level fmap for type-level functors. Note: this name clashes with Map from containers. FMap is provided as a synonym to avoid this.

    Example

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

>>> data AddMul :: Nat -> Nat -> Exp Nat

>>> type instance Eval (AddMul x y) = (x TL.+ y) TL.* (x TL.+ y)

>>> :kind! Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat])
Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat]) :: Example
= Ex [4, 9, 16, 25, 36]

  4. data Map (c :: a -> Exp b) (d :: f a) (e :: f b)

    first-class-families Fcf.Classes

    Type-level fmap for type-level functors. Note: this name clashes with Map from containers. FMap is provided as a synonym to avoid this.

    Example

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

>>> data AddMul :: Nat -> Nat -> Exp Nat

>>> type instance Eval (AddMul x y) = (x TL.+ y) TL.* (x TL.+ y)

>>> :kind! Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat])
Ex (Eval (Map (AddMul 2) '[0, 1, 2, 3, 4]) :: [Nat]) :: Example
= Ex [4, 9, 16, 25, 36]

  5. module OpenTelemetry.Attributes.Map

    No documentation available.

  6. type family Map (a1 :: a ~> b) (a2 :: NonEmpty a) :: NonEmpty b

    singletons-base Data.List.NonEmpty.Singletons

    No documentation available.

  7. type family Map (a1 :: a ~> b) (a2 :: [a]) :: [b]

    singletons-base Data.List.Singletons

    No documentation available.

  8. type family Map (a1 :: a ~> b) (a2 :: [a]) :: [b]

    singletons-base Prelude.Singletons

    No documentation available.

  9. data Map k v

    uniplate Data.Generics.Uniplate.Data.Instances

    Invariant preserving version of Map from the containers packages, suitable for use with Uniplate. Use toMap to construct values, and fromMap to deconstruct values.

  10. module Data.Validity.Map

    No documentation available.

Page 38 of many | Previous | Next