Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. class EventHasMaybeSender eventKind

    github-webhooks GitHub.Data.Webhooks.Events

    Represents an event that may contain its sender information.

  2. extractSymMaybe :: forall (knd :: SymbolKind) . (ExtractSym a, IsSymbolKind knd) => a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    No documentation available.

  3. extractSymMaybe1 :: forall f a (knd :: SymbolKind) . (ExtractSym1 f, ExtractSym a, IsSymbolKind knd) => f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lift the standard extractSymMaybe to unary type constructors.

  4. extractSymMaybe2 :: forall f a b (knd :: SymbolKind) . (ExtractSym2 f, ExtractSym a, ExtractSym b, IsSymbolKind knd) => f a b -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lift the standard extractSymMaybe to binary type constructors.

  5. genericExtractSymMaybe :: forall a (knd :: SymbolKind) . (Generic a, GExtractSym Arity0 (Rep a), IsSymbolKind knd) => a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Generic extractSym function.

  6. genericLiftExtractSymMaybe :: forall f (knd :: SymbolKind) a . (Generic1 f, GExtractSym Arity1 (Rep1 f), IsSymbolKind knd) => (a -> Maybe (SymbolSet knd)) -> f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Generic liftExtractSymMaybe function.

  7. gextractSymMaybe :: forall (knd :: SymbolKind) a . (GExtractSym arity f, IsSymbolKind knd) => ExtractSymArgs arity knd a -> f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    No documentation available.

  8. liftExtractSymMaybe :: forall (knd :: SymbolKind) a . (ExtractSym1 f, IsSymbolKind knd) => (a -> Maybe (SymbolSet knd)) -> f a -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lifts the extractSymMaybe function to unary type constructors.

  9. liftExtractSymMaybe2 :: forall (knd :: SymbolKind) a b . (ExtractSym2 f, IsSymbolKind knd) => (a -> Maybe (SymbolSet knd)) -> (b -> Maybe (SymbolSet knd)) -> f a b -> Maybe (SymbolSet knd)

    grisette Grisette.Core

    Lifts the extractSymMaybe function to binary type constructors.

  10. extractSymMaybe :: forall (knd :: SymbolKind) . (ExtractSym a, IsSymbolKind knd) => a -> Maybe (SymbolSet knd)

    grisette Grisette.Internal.Core.Data.Class.ExtractSym

    No documentation available.

Page 271 of many | Previous | Next