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.

  1. firstOf :: Getting (Leftmost a) s a -> s -> Maybe a

    diagrams-lib Diagrams.Prelude

    Retrieve the First entry of a Fold or Traversal or retrieve Just the result from a Getter or Lens. The answer is computed in a manner that leaks space less than preview or ^?' and gives you back access to the outermost Just constructor more quickly, but does so in a way that builds an intermediate structure, and thus may have worse constant factors. This also means that it can not be used in any MonadReader, but must instead have s passed as its last argument, unlike preview. Note: this could been named headOf. 

    >>> firstOf traverse [1..10]
Just 1

    >>> firstOf both (1,2)
Just 1

    >>> firstOf ignored ()
Nothing

    firstOf :: Getter s a     -> s -> Maybe a
firstOf :: Fold s a       -> s -> Maybe a
firstOf :: Lens' s a      -> s -> Maybe a
firstOf :: Iso' s a       -> s -> Maybe a
firstOf :: Traversal' s a -> s -> Maybe a

  2. firsting :: forall (f :: Type -> Type -> Type) (g :: Type -> Type -> Type) s t a b x y . (Bifunctor f, Bifunctor g) => AnIso s t a b -> Iso (f s x) (g t y) (f a x) (g b y)

    diagrams-lib Diagrams.Prelude

    Lift an Iso into the first argument of a Bifunctor. 

    firsting :: Bifunctor p => Iso s t a b -> Iso (p s x) (p t y) (p a x) (p b y)
firsting :: Bifunctor p => Iso' s a -> Iso' (p s x) (p a x)

  3. firstF :: (Functor f, Bifunctor p) => (a -> c) -> f (p a b) -> f (p c b)

    relude Relude.Extra.Bifunctor

    Short for fmap . first. 

    >>> firstF not $ Just (False, ['a', 'b'])
Just (True,"ab")

  4. firstNonReservedProcessId :: Int32

    distributed-process Control.Distributed.Process.Internal.Types

    No documentation available.

  5. package first-class-families

    First-class type families A library for type-level programming. See README.

  6. firstA :: (Bitraversable t, Applicative f) => (a -> f c) -> t a b -> f (t c b)

    base-compat-batteries Data.Bitraversable.Compat

    Traverses only over the first argument. 

    firstA f ≡ bitraverse f pure

  7. firstNonReservedHeavyweightConnectionId :: HeavyweightConnectionId

    network-transport-tcp Network.Transport.TCP

    We reserve some connection IDs for special heavyweight connections

  8. firstNonReservedLightweightConnectionId :: LightweightConnectionId

    network-transport-tcp Network.Transport.TCP

    We reserve a bunch of connection IDs for control messages

  9. firstNonSpaceB :: BufferM ()

    yi-core Yi.Buffer.HighLevel

    Move to first non-space character in this line

  10. firstNonSpaceB :: BufferM ()

    yi-core Yi.Config.Simple

    Move to first non-space character in this line

Page 19 of many | Previous | Next