Hoogle Search

Within LTS Haskell 24.36 (ghc-9.10.3)

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

Exact lookup

1. mapListProduct :: forall w (t :: [Type]) . ListType w t -> (forall a . () => w a -> a -> a) -> ListProduct t -> ListProduct t

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

2. matchListProduct :: forall (w :: Type -> Type) (lta :: [Type]) (ltb :: [Type]) . TestEquality w => ListType w lta -> ListType w ltb -> Either (Some w) (ListProduct lta -> ListProduct ltb)

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

3. pickListProduct :: forall w (lta :: [Type]) b . TestEquality w => ListType w lta -> w b -> Maybe (ListProduct lta -> b)

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

4. sequenceListProduct :: forall f (lt :: [Type]) . Applicative f => ListType f lt -> f (ListProduct lt)

   witness	Data.Type.Witness.Specific.List.Product

   No documentation available.

5. MkListSumType :: forall (wit :: Type -> Type) (lt :: [Type]) . ListType wit lt -> ListSumType wit (ListSum lt)

   witness	Data.Type.Witness.Specific.List.Sum

   No documentation available.

6. injectiveListSum :: forall (a :: [Type]) (b :: [Type]) . ListSum a ~ ListSum b => a :~: b

   witness	Data.Type.Witness.Specific.List.Sum

   workaround for https://gitlab.haskell.org/ghc/ghc/issues/10833

7. mapListSum :: forall w (t :: [Type]) . ListType w t -> (forall a . () => w a -> a -> a) -> ListSum t -> ListSum t

   witness	Data.Type.Witness.Specific.List.Sum

   No documentation available.

8. orderedWitnessMapOfFromList :: forall (w :: Type -> Type) . TestOrder w => [SomeOf w] -> OrderedWitnessMapOf w

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.Of

   Create a dictionary from a list of witness/value pairs

9. orderedWitnessMapOfToList :: forall (w :: Type -> Type) . OrderedWitnessMapOf w -> [SomeOf w]

   witness	Data.Type.Witness.Specific.OrderedWitnessMap.Of

   No documentation available.

10. witnessMapForToList :: WitnessMapFor (f :: k -> Type) (w :: k -> Type) -> [SomeFor f w]

    witness	Data.Type.Witness.Specific.WitnessMap.For

    No documentation available.

Page 182 of many | Previous | Next