Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. forManyN :: forall c r (n :: Nat) (xs :: [Type]) . CollectN c r n xs => c r n xs -> Many xs -> CollectorN c n xs r

   data-diverse	Data.Diverse.Many.Internal

   Folds any Many, even with indistinct types. Given index handlers for the fields in Many, create AFoldable of the results of running the handlers over the fields in Many.

   let x = (5 :: Int) ./ False ./ 'X' ./ Just 'O' ./ (6 :: Int) ./ Just 'A' ./ nil
   y = show @Int ./ show @Bool ./ show @Char ./ show @(Maybe Char) ./ show @Int ./ show @(Maybe Char) ./ nil
   afoldr (:) [] (forManyN (casesN y) x) `shouldBe`
   ["5", "False", "'X'", "Just 'O'", "6", "Just 'A'"]
   

2. fromMany :: IsMany t xs a => Many xs -> t xs a

   data-diverse	Data.Diverse.Many.Internal

   No documentation available.

3. fromMany' :: forall (xs :: [Type]) a . IsMany (Tagged :: [Type] -> Type -> Type) xs a => Many xs -> a

   data-diverse	Data.Diverse.Many.Internal

   Converts from a Many to a value (eg a tuple), via a Tagged wrapper

4. snocMany :: forall (xs :: [Type]) y . Many xs -> y -> Many (Append xs '[y])

   data-diverse	Data.Diverse.Many.Internal

   Add an element to the right of a Many Not named snoc to avoid conflict with snoc

5. snocMany' :: forall y (xs :: [Type]) . MaybeUniqueMember y xs => Many xs -> y -> Many (SnocUnique xs y)

   data-diverse	Data.Diverse.Many.Internal

   Add an element to the right of a Many iff the field doesn't already exist.

6. toMany :: IsMany t xs a => t xs a -> Many xs

   data-diverse	Data.Diverse.Many.Internal

   No documentation available.

7. toMany' :: forall (xs :: [Type]) a . IsMany (Tagged :: [Type] -> Type -> Type) xs a => a -> Many xs

   data-diverse	Data.Diverse.Many.Internal

   Converts from a value (eg a tuple) to a Many, via a Tagged wrapper

8. ArchCPUAny :: ArchCPU

   debian	Debian.Arch

   No documentation available.

9. ArchOSAny :: ArchOS

   debian	Debian.Arch

   No documentation available.

10. ArchCPUAny :: ArchCPU

    debian	Debian.Relation

    No documentation available.

Page 190 of many | Previous | Next