Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (>$) :: Contravariant f => b -> f b -> f a

   base	Data.Functor.Contravariant

   Replace all locations in the output with the same value. The default definition is contramap . const, but this may be overridden with a more efficient version.

2. (>$$<) :: Contravariant f => f b -> (a -> b) -> f a

   base	Data.Functor.Contravariant

   This is an infix version of contramap with the arguments flipped.

3. (>$<) :: Contravariant f => (a -> b) -> f b -> f a

   base	Data.Functor.Contravariant

   This is an infix alias for contramap.

4. (<$) :: Functor f => a -> f b -> f a

   base	GHC.Base

   Replace all locations in the input with the same value. The default definition is fmap . const, but this may be overridden with a more efficient version.

   Examples

   Perform a computation with Maybe and replace the result with a constant value if it is Just:

   >>> 'a' <$ Just 2
   Just 'a'
   
   >>> 'a' <$ Nothing
   Nothing
   

5. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   base	GHC.TypeError

   Stack two pieces of error message on top of each other.

6. (:$$:) :: ErrorMessage -> ErrorMessage -> ErrorMessage

   base	GHC.TypeLits

   Stack two pieces of error message on top of each other.

7. (>$<) :: Contravariant f => (b -> a) -> f a -> f b

   bytestring	Data.ByteString.Builder.Prim

   A fmap-like operator for builder primitives, both bounded and fixed size. Builder primitives are contravariant so it's like the normal fmap, but backwards (look at the type). (If it helps to remember, the operator symbol is like ($) but backwards.) We can use it for example to prepend and/or append fixed values to an primitive.

   import Data.ByteString.Builder.Prim as P
   showEncoding ((\x -> ('\'', (x, '\''))) >$< fixed3) 'x' = "'x'"
   where
   fixed3 = P.char7 >*< P.char7 >*< P.char7
   

   Note that the rather verbose syntax for composition stems from the requirement to be able to compute the size / size bound at compile time.

8. (>$<) :: Contravariant f => (b -> a) -> f a -> f b

   bytestring	Data.ByteString.Builder.Prim.Internal

   A fmap-like operator for builder primitives, both bounded and fixed size. Builder primitives are contravariant so it's like the normal fmap, but backwards (look at the type). (If it helps to remember, the operator symbol is like ($) but backwards.) We can use it for example to prepend and/or append fixed values to an primitive.

   import Data.ByteString.Builder.Prim as P
   showEncoding ((\x -> ('\'', (x, '\''))) >$< fixed3) 'x' = "'x'"
   where
   fixed3 = P.char7 >*< P.char7 >*< P.char7
   

   Note that the rather verbose syntax for composition stems from the requirement to be able to compute the size / size bound at compile time.

9. (<$!!>) :: (Monad m, NFData b) => (a -> b) -> m a -> m b

   deepseq	Control.DeepSeq

   Deeply strict version of <$>.

10. (>$) :: Contravariant f => b -> f b -> f a

    lens	Control.Lens.Combinators

    Replace all locations in the output with the same value. The default definition is contramap . const, but this may be overridden with a more efficient version.

Page 33 of many | Previous | Next