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.

Exact lookup

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

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

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

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

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

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

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

8. allUsedNamesMaybe :: Maybe Exp -> Set Name

   grisette	Grisette.Internal.TH.Util

   Get the names used in an expression.

9. getTypeWithMaybeSubst :: TyVarBndrUnit -> Maybe Type -> Q Type

   grisette	Grisette.Internal.TH.Util

   Get a type with a possible substitution.

10. toMaybe :: Result a -> Maybe a

    hakyll	Hakyll.Core.Store

    Convert result to Maybe

Page 272 of many | Previous | Next