Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

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

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

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

   No documentation available.

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

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

   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.Internal.Core.Data.Class.ExtractSym

   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.Internal.Core.Data.Class.ExtractSym

   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.Internal.Core.Data.Class.ExtractSym

   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.Internal.Core.Data.Class.ExtractSym

   No documentation available.

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

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

   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.Internal.Core.Data.Class.ExtractSym

   Lifts the extractSymMaybe function to binary type constructors.

10. allUsedNamesMaybe :: Maybe Exp -> Set Name

    grisette	Grisette.Internal.TH.Util

    Get the names used in an expression.

Page 272 of many | Previous | Next