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.
head :: forall (n :: PeanoNum) (k :: PeanoNum) a . (ArityPeano n, n ~ 'S k) => ContVec n a -> afixed-vector Data.Vector.Fixed.Cont Finalizer function for getting head of the vector.
head :: forall t (ts :: [Type]) . HVect (t ': ts) -> thvect Data.HVect No documentation available.
head :: HasCallStack => [a] -> amixed-types-num Numeric.MixedTypes.PreludeHiding Extract the first element of a list, which must be non-empty. To disable the warning about partiality put {-# OPTIONS_GHC -Wno-x-partial -Wno-unrecognised-warning-flags #-} at the top of the file. To disable it throughout a package put the same options into ghc-options section of Cabal file. To disable it in GHCi put :set -Wno-x-partial -Wno-unrecognised-warning-flags into ~/.ghci config file. See also the migration guide.
Examples
>>> head [1, 2, 3] 1
>>> head [1..] 1
>>> head [] *** Exception: Prelude.head: empty list
-
nonempty-vector Data.Vector.NonEmpty O(1) First element. Since head is gauranteed, bounds checks are bypassed by deferring to unsafeHead.
>>> head $ unsafeFromList [1..10] 1
-
strict-list StrictList Get the first element, if list is not empty.
head :: ByteString -> Session SResponsetasty-wai Test.Tasty.Wai Submit a HEAD request to the provided endpoint.
head :: HasCallStack => [a] -> aLambdaHack Game.LambdaHack.Core.Prelude Extract the first element of a list, which must be non-empty. To disable the warning about partiality put {-# OPTIONS_GHC -Wno-x-partial -Wno-unrecognised-warning-flags #-} at the top of the file. To disable it throughout a package put the same options into ghc-options section of Cabal file. To disable it in GHCi put :set -Wno-x-partial -Wno-unrecognised-warning-flags into ~/.ghci config file. See also the migration guide.
Examples
>>> head [1, 2, 3] 1
>>> head [1..] 1
>>> head [] *** Exception: Prelude.head: empty list
head :: HasCallStack => [a] -> aLambdaHack Game.LambdaHack.Core.Prelude Extract the first element of a list, which must be non-empty. To disable the warning about partiality put {-# OPTIONS_GHC -Wno-x-partial -Wno-unrecognised-warning-flags #-} at the top of the file. To disable it throughout a package put the same options into ghc-options section of Cabal file. To disable it in GHCi put :set -Wno-x-partial -Wno-unrecognised-warning-flags into ~/.ghci config file. See also the migration guide.
Examples
>>> head [1, 2, 3] 1
>>> head [1..] 1
>>> head [] *** Exception: Prelude.head: empty list
-
Stream Data.Stream Extract the first element of the sequence.
-
cabal-install-solver Distribution.Solver.Compat.Prelude Extract the first element of the stream.