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.
first :: forall a (m :: Type -> Type) b c . a -> Unfold m (a, b) c -> Unfold m b cstreamly-core Streamly.Internal.Data.Unfold Supply the first component of the tuple to an unfold that accepts a tuple as a seed resulting in a fold that accepts the second component of the tuple as a seed.
first a = Unfold.lmap (a, )
Pre-releasefirst :: (a -> a') -> (a, b) -> (a', b)code-conjure Conjure.Utils Applies a function to the first element of a pair. Often known on the wild as mapFst.
> first (*10) (1,2) (10,2)
first :: Arrow a => a b c -> a (b, d) (c, d)dunai Data.MonadicStreamFunction.Core Send the first component of the input through the argument arrow, and copy the rest unchanged to the output.
-
invertible Data.Invertible.Monoid (Un)wrap the First monoid.
first :: Tidally => ControlPattern -> IO ()tidal Sound.Tidal.Boot See first.
first :: ControlPattern -> Op ()tidal Sound.Tidal.Safe.Boot No documentation available.
first :: (Key -> TomlCodec a) -> Key -> TomlCodec (First a)tomland Toml.Codec.Combinator.Monoid Codec for First wrapper for given converter's values. Decodes to First Nothing when the key is not present.
first :: Bifunctor p => (a -> b) -> p a c -> p b cclassy-prelude-yesod ClassyPrelude.Yesod Map covariantly over the first argument.
first f ≡ bimap f id
Examples
>>> first toUpper ('j', 3) ('J',3)
>>> first toUpper (Left 'j') Left 'J'
first :: (Morphism a, ObjectPair a b d, ObjectPair a c d) => a b c -> a (b, d) (c, d)constrained-categories Control.Arrow.Constrained No documentation available.
first :: LogEntryOperation -> Maybe Boolgogol-logging Gogol.Logging Optional. Set this to True if this is the first log entry in the operation.