Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

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

Exact lookup

1. lookUpListElement :: forall k w (t :: k) (lt :: [k]) . TestEquality w => w t -> ListType w lt -> Maybe (ListElementType lt t)

   witness	Data.Type.Witness.Specific.List.Element

   No documentation available.

2. pickListElement :: forall k w (t :: k) (lt :: [k]) . ListElementType lt t -> ListType w lt -> w t

   witness	Data.Type.Witness.Specific.List.Element

   No documentation available.

3. MkListProductType :: forall (wit :: Type -> Type) (lt :: [Type]) . ListType wit lt -> ListProductType wit (ListProduct lt)

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

   No documentation available.

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

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

   No documentation available.

5. identityListProduct :: forall (lt :: [Type]) . ListType Identity lt -> ListProduct lt

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

   No documentation available.

6. injectiveListProduct :: forall (a :: [Type]) (b :: [Type]) . ListProduct a ~ ListProduct b => a :~: b

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

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

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

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

   No documentation available.

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

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

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

Page 181 of many | Previous | Next