Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

  1. foldMapBy :: Foldable t => (r -> r -> r) -> r -> (a -> r) -> t a -> r

    reflection Data.Reflection

    Fold a value using its Foldable instance using explicitly provided Monoid operations. This is like foldMap where the Monoid instance can be manually specified. 

    foldMapBy mappend mempty ≡ foldMap

    >>> foldMapBy (+) 0 length ["hello","world"]
10

  2. reifiedMappend :: ReifiedMonoid a -> a -> a -> a

    reflection Data.Reflection

    No documentation available.

  3. strMap :: StringLike a => (Char -> Char) -> a -> a

    tagsoup Text.StringLike 

    strMap = map

  4. cmap :: (Element b, Container c e) => (e -> b) -> c e -> c b

    hmatrix Numeric.LinearAlgebra.Data

    like fmap (cannot implement instance Functor because of Element class constraint)

  5. remap :: Element t => Matrix I -> Matrix I -> Matrix t -> Matrix t

    hmatrix Numeric.LinearAlgebra.Data

    Extract elements from positions given in matrices of rows and columns. 

    >>> r
(3><3)
[ 1, 1, 1
, 1, 2, 2
, 1, 2, 3 ]

>>> c
(3><3)
[ 0, 1, 5
, 2, 2, 1
, 4, 4, 1 ]

>>> m
(4><6)
[  0,  1,  2,  3,  4,  5
,  6,  7,  8,  9, 10, 11
, 12, 13, 14, 15, 16, 17
, 18, 19, 20, 21, 22, 23 ]

    >>> remap r c m
(3><3)
[  6,  7, 11
,  8, 14, 13
, 10, 16, 19 ]
    The indexes are autoconformable. 
    >>> c'
(3><1)
[ 1
, 2
, 4 ]

>>> remap r c' m
(3><3)
[  7,  7,  7
,  8, 14, 14
, 10, 16, 22 ]

  6. dmmap :: forall (n :: Nat) (m :: Nat) . (Domain field vec mat, KnownNat m, KnownNat n) => (field -> field) -> mat n m -> mat n m

    hmatrix Numeric.LinearAlgebra.Static

    No documentation available.

  7. dvmap :: forall (n :: Nat) . (Domain field vec mat, KnownNat n) => (field -> field) -> vec n -> vec n

    hmatrix Numeric.LinearAlgebra.Static

    No documentation available.

  8. contramap :: (a -> b) -> OutputStream b -> IO (OutputStream a)

    io-streams System.IO.Streams.Combinators

    Contravariant counterpart to map. contramap f s passes all input to s through the function f. Satisfies the following laws: 

    Streams.contramap (g . f) === Streams.contramap g >=> Streams.contramap f
Streams.contramap id === return

  9. contramapM :: (a -> IO b) -> OutputStream b -> IO (OutputStream a)

    io-streams System.IO.Streams.Combinators

    Contravariant counterpart to mapM. contramapM f s passes all input to s through the IO action f Satisfies the following laws: 

    Streams.contramapM (f >=> g) = Streams.contramapM g >=> Streams.contramapM f
Streams.contramapM return = return

  10. contramapM_ :: (a -> IO b) -> OutputStream a -> IO (OutputStream a)

    io-streams System.IO.Streams.Combinators

    Equivalent to mapM_ for output. contramapM f s passes all input to s through the side-effecting IO action f.

Page 484 of many | Previous | Next