Hoogle Search
Within LTS Haskell 24.4 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
headCell :: TableColumn c dt -> View (TableHead c) ()web-view Web.View.Element No documentation available.
headAmbQ :: AmbiguousQName -> QNameAgda Agda.Syntax.Abstract.Name Get the first of the ambiguous names.
headPrecedence :: PrecedenceStack -> PrecedenceAgda Agda.Syntax.Fixity No documentation available.
headSymbol :: Term -> TCM (Maybe TermHead)Agda Agda.TypeChecking.Injectivity No documentation available.
headSymbol' :: (PureTCM m, MonadError TCErr m) => Term -> m (Maybe TermHead)Agda Agda.TypeChecking.Injectivity Do a full whnf and treat neutral terms as rigid. Used on the arguments to an injective functions and to the right-hand side. Only returns heads which are stable under interval substitution, i.e. NOT path constructors or generated hcomp/transp!
headStop :: PureTCM m => TermPosition -> m Term -> m BoolAgda Agda.TypeChecking.Primitive.Cubical.Base Kan operations for the "unstable" type formers (Glue, hcomp {Type}) are computed "negatively": they never actually produce a glue φ t a term. Instead, we block the computation unless such a term would reduce further, which happens in two cases:
- when the formula φ is i1, in which case we reduce to t;
- when we're under an unglue, i.e. in Eliminated TermPosition, in which case we reduce to a.
headCallSite :: CallStack -> Maybe CallSiteAgda Agda.Utils.CallStack Get the most recent CallSite in a CallStack, if there is one.
headWithDefault :: a -> [a] -> aAgda Agda.Utils.List Head function (safe). Returns a default value on empty lists. O(1).
headWithDefault 42 [] = 42 headWithDefault 42 [1,2,3] = 1
headWithDefault :: a -> [a] -> aBNFC BNFC.Utils Get the first element of a list, fallback for empty list.
-
ShellCheck ShellCheck.Formatter.Format No documentation available.