Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. type SomeTypedAnySymbol = SomeTypedSymbol 'AnyKind

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Non-indexed any symbol

2. type TypedAnySymbol = TypedSymbol 'AnyKind

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Any symbol

3. typedAnySymbol :: SupportedPrim t => Symbol -> TypedSymbol 'AnyKind t

   grisette	Grisette.Internal.SymPrim.Prim.Internal.Term

   Create a typed symbol with any kinds.

4. mrgMany :: (Alternative f, TryMerge f, Mergeable a) => f a -> f [a]

   grisette	Grisette.Lib.Control.Applicative

   many with MergingStrategy knowledge propagation.

5. symAny :: Foldable t => (a -> SymBool) -> t a -> SymBool

   grisette	Grisette.Lib.Data.Foldable

   any on symbolic boolean.

6. symAny :: Foldable t => (a -> SymBool) -> t a -> SymBool

   grisette	Grisette.Lib.Data.List

   any on symbolic boolean.

7. type SomeTypedAnySymbol = SomeTypedSymbol 'AnyKind

   grisette	Grisette.SymPrim

   Non-indexed any symbol

8. type TypedAnySymbol = TypedSymbol 'AnyKind

   grisette	Grisette.SymPrim

   Any symbol

9. typedAnySymbol :: SupportedPrim t => Symbol -> TypedSymbol 'AnyKind t

   grisette	Grisette.SymPrim

   Create a typed symbol with any kinds.

10. mrgMany :: (Alternative f, TryMerge f, Mergeable a) => f a -> f [a]

    grisette	Grisette.Unified.Lib.Control.Applicative

    many with MergingStrategy knowledge propagation.

Page 227 of many | Previous | Next