Hoogle Search
Within LTS Haskell 24.34 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
class
Map7_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)])hetero-parameter-list-with-typelevel-tools Data.HeteroParList.Tuple No documentation available.
class
Map7_8 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7)])hetero-parameter-list-with-typelevel-tools Data.HeteroParList.Tuple No documentation available.
class
Map7_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)])hetero-parameter-list-with-typelevel-tools Data.HeteroParList.Tuple No documentation available.
class
Map8_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)])hetero-parameter-list-with-typelevel-tools Data.HeteroParList.Tuple No documentation available.
class
Map8_9 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8)])hetero-parameter-list-with-typelevel-tools Data.HeteroParList.Tuple No documentation available.
class
Map9_10 (ss :: [(k0, k1, k2, k3, k4, k5, k6, k7, k8, k9)])hetero-parameter-list-with-typelevel-tools Data.HeteroParList.Tuple No documentation available.
type family
Mapping (v :: Variance) a bkind-apply Data.PolyKinded.Functor If a KFunctor needs to map an f ... a ... to an f ... b ..., a Mapping v a b specifies which function needs to be provided for that position depending on its variance v.
data
Mappings (v :: Variances) (x :: LoT k) (y :: LoT k)kind-apply Data.PolyKinded.Functor List of mappings for the list of variances v.
-
No documentation available.
class Foldable m =>
Mapping k (m :: Type -> Type) | m -> kmappings Data.Mapping If Mapping k m, then m v represents a function k -> v. Mapping requires an instance of Foldable, folding over the values that appear. Given that a value can be associated with a very large collection of keys, the only folds that normally make sense are those over idempotent monoids.