Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
ForAll :: forall d1 d . Atom (d1 -> d) Type -> Atom d Typekind-generics Generics.Kind Represents universal quantification.
newtype
ForAllI (f :: Atom d1 -> d Type) (tys :: LoT d)kind-generics Generics.Kind Auxiliary type for interpretation of the ForAll atom. Required because a type family like Interpret cannot return a polymorphic type.
-
language-java Language.Java.Syntax Initialization code for a basic for statement.
ForInitExps :: [Exp] -> ForInitlanguage-java Language.Java.Syntax No documentation available.
ForLocalVars :: [Modifier] -> Type -> [VarDecl] -> ForInitlanguage-java Language.Java.Syntax No documentation available.
-
language-java Language.Java.Syntax A formal parameter in method declaration. The last parameter for a given declaration may be marked as variable arity, indicated by the boolean argument.
FormalParam :: [Modifier] -> Type -> Bool -> VarDeclId -> FormalParamlanguage-java Language.Java.Syntax No documentation available.
ForIn :: a -> [Name a] -> [Exp a] -> Block a -> Stat alanguage-lua Language.Lua.Annotated.Syntax for x in .. do .. end
ForRange :: a -> Name a -> Exp a -> Exp a -> Maybe (Exp a) -> Block a -> Stat alanguage-lua Language.Lua.Annotated.Syntax for x=start, end [, step] do .. end
ForIn :: [Name] -> [Exp] -> Block -> Statlanguage-lua Language.Lua.Syntax for x in .. do .. end