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. (.) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a c

    dimensional Numeric.Units.Dimensional.Prelude

    morphism composition

  2. (.) :: (b -> c) -> (a -> b) -> a -> c

    distribution-opensuse OpenSuse.Prelude

    Right to left function composition. 

    (f . g) x = f (g x)

    f . id = f = id . f

    Examples

    >>> map ((*2) . length) [[], [0, 1, 2], [0]]
[0,6,2]

    >>> foldr (.) id [(+1), (*3), (^3)] 2
25

    >>> let (...) = (.).(.) in ((*2)...(+)) 5 10
30

  3. (.) :: (b -> c) -> (a -> b) -> a -> c

    faktory Faktory.Prelude

    Right to left function composition. 

    (f . g) x = f (g x)

    f . id = f = id . f

    Examples

    >>> map ((*2) . length) [[], [0, 1, 2], [0]]
[0,6,2]

    >>> foldr (.) id [(+1), (*3), (^3)] 2
25

    >>> let (...) = (.).(.) in ((*2)...(+)) 5 10
30

  4. (.) :: (b -> c) -> (a -> b) -> a -> c

    hledger-web Hledger.Web.Import

    Right to left function composition. 

    (f . g) x = f (g x)

    f . id = f = id . f

    Examples

    >>> map ((*2) . length) [[], [0, 1, 2], [0]]
[0,6,2]

    >>> foldr (.) id [(+1), (*3), (^3)] 2
25

    >>> let (...) = (.).(.) in ((*2)...(+)) 5 10
30

  5. (.) :: (b <-> c) -> (a <-> b) -> a <-> c

    invertible Data.Invertible.Function

    Bijection composition

  6. (.) :: (b <-> c) -> (a <-> b) -> a <-> c

    invertible Data.Invertible.Prelude

    Bijection composition

  7. (.) :: JExpr -> String -> JExpr

    jmacro Language.Javascript.JMacro.Util

    No documentation available.

  8. (.) :: (b -> c) -> (a -> b) -> a -> c

    between Data.Function.Between.Strict.Internal

    Strict variant of function composition. Defined as: 

    (f . g) x = f $! g $! x
    Internally used since version 0.10.0.0. Moved to Data.Function.Between.Strict.Internal module and exposed in version 0.11.0.0.

  9. (.) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a c

    classy-prelude-yesod ClassyPrelude.Yesod

    morphism composition

  10. (.) :: forall (a :: κ) (b :: κ) (c :: κ) . (Category k, Object k a, Object k b, Object k c) => k b c -> k a b -> k a c

    constrained-categories Control.Category.Constrained

    No documentation available.

Page 4 of many | Previous | Next