Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. AnyWhere_ :: WhereClause_

   Agda	Agda.Syntax.Concrete

   Ordinary where.

2. class AnyRigid a

   Agda	Agda.TypeChecking.MetaVars.Occurs

   Collect the *definitely* rigid variables in a monoid. We need to successively reduce the expression to do this.

3. pattern ANY_ARROW :: GroupName ItemKind

   Allure	Content.ItemKindActor

   No documentation available.

4. data AnyAlign

   PyF	PyF.Formatters

   Existential version of AlignMode

5. AnyAlign :: forall (k :: AlignForString) . AlignMode k -> AnyAlign

   PyF	PyF.Formatters

   No documentation available.

6. Anybody :: Agreement a

   agreeing	Data.Agreement

   No documentation available.

7. AnyString :: RegexpFlag

   bloodhound	Database.Bloodhound.Common.Types

   No documentation available.

8. newtype AnyB b

   cond	Data.Algebra.Boolean

   A boolean algebra regarded as a monoid under disjunction

9. AnyB :: b -> AnyB b

   cond	Data.Algebra.Boolean

   No documentation available.

10. data AnyMatch (f :: Type -> Type) (a :: ParamPred k v) (b :: f k) (c :: TyFun v Type)

    decidable	Data.Type.Predicate.Param

    AnyMatch f takes a parmaeterized predicate on k (testing for a v) and turns it into a parameterized predicate on f k (testing for a v). It "lifts" the domain into f. An AnyMatch f p as is a predicate taking an argument a and testing if p a :: Predicate k is satisfied for any item in as :: f k. A ParamPred k v tests if a k can create some v. The resulting ParamPred (f k) v tests if any k in f k can create some v.

Page 37 of many | Previous | Next