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.

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

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

    No documentation available.

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

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

    No documentation available.

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

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

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

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

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

    No documentation available.

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

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

    No documentation available.

  8. witnessMapOfFromList :: forall (w :: Type -> Type) . [SomeOf w] -> WitnessMapOf w

    witness Data.Type.Witness.Specific.WitnessMap.Of

    Create a dictionary from a list of witness/value pairs

  9. witnessMapOfToList :: forall (w :: Type -> Type) . WitnessMapOf w -> [SomeOf w]

    witness Data.Type.Witness.Specific.WitnessMap.Of

    No documentation available.

  10. xpList :: PU [a] b -> PU [a] [b]

    xml-picklers Data.XML.Pickle

    xpSeqWhile. (compat)

Page 182 of many | Previous | Next