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.
headerOwnerName :: Header -> !ShortByteStringtar-conduit Data.Conduit.Tar.Types No documentation available.
headerPayloadOffset :: Header -> !FileOffsettar-conduit Data.Conduit.Tar.Types No documentation available.
headerPayloadSize :: Header -> !FileOffsettar-conduit Data.Conduit.Tar.Types No documentation available.
headerTime :: Header -> !EpochTimetar-conduit Data.Conduit.Tar.Types No documentation available.
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.