Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

  1. pattern SDL_AUDIO_ALLOW_ANY_CHANGE :: (Eq a, Num a) => a

    sdl2 SDL.Raw.Enum

    No documentation available.

  2. data ParamAnySchema

    swagger2 Data.Swagger

    No documentation available.

  3. data ParamAnySchema

    swagger2 Data.Swagger.Internal

    No documentation available.

  4. matchAny :: MatchBody

    sydtest-wai Test.Syd.Wai.Matcher

    No documentation available.

  5. class ManyMemberKV (ks :: [Symbol]) (ts :: [Type]) (kvs :: [Type])

    tmp-proc System.TmpProc.Docker

    Generate proof instances of LookupMany.

  6. manyNamed :: forall (names :: [Symbol]) (namedProcs :: [Type]) (someProcs :: [Type]) (sortedProcs :: [Type]) . SomeNamedHandles names namedProcs someProcs sortedProcs => Proxy names -> HandlesOf someProcs -> HandlesOf namedProcs

    tmp-proc System.TmpProc.Docker

    Select the named ProcHandles from an HList of ProcHandle.

  7. selectMany :: forall (ks :: [Symbol]) (ts :: [Type]) (xs :: [Type]) . ManyMemberKV ks ts xs => HList xs -> HList ts

    tmp-proc System.TmpProc.Docker

    Select items with specified keys from an HList of KVs by key. N.B. this this is an internal function. The keys must be provided in the same order as they occur in the HList, any other order will likely result in an compiler error.

    Examples

    >>> selectMany @'["b"] @'[Bool] @'[KV "b" Bool, KV "d" Double] (V True &:  V (3.1 :: Double) &: HNil)
True &: HNil

  8. class ManyMemberKV (ks :: [Symbol]) (ts :: [Type]) (kvs :: [Type])

    tmp-proc System.TmpProc.TypeLevel

    Generate proof instances of LookupMany.

  9. manyProof :: ManyMemberKV ks ts kvs => LookupMany ks ts kvs

    tmp-proc System.TmpProc.TypeLevel

    No documentation available.

  10. selectMany :: forall (ks :: [Symbol]) (ts :: [Type]) (xs :: [Type]) . ManyMemberKV ks ts xs => HList xs -> HList ts

    tmp-proc System.TmpProc.TypeLevel

    Select items with specified keys from an HList of KVs by key. N.B. this this is an internal function. The keys must be provided in the same order as they occur in the HList, any other order will likely result in an compiler error.

    Examples

    >>> selectMany @'["b"] @'[Bool] @'[KV "b" Bool, KV "d" Double] (V True &:  V (3.1 :: Double) &: HNil)
True &: HNil

Page 148 of many | Previous | Next