Hoogle Search
Within LTS Haskell 24.3 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cbasement Basement.Compat.Base morphism composition
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cbasement Basement.Imports morphism composition
(
. ) :: (b -> c) -> (a -> b) -> a -> cprotolude Protolude 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
(
. ) :: (b -> c) -> (a -> b) -> a -> cghc-internal GHC.Internal.Base 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
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cghc-internal GHC.Internal.Control.Category morphism composition
(
. ) :: (b -> c) -> (a -> b) -> a -> cghc-internal GHC.Internal.Data.Function 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
(
. ) :: (b -> c) -> (a -> b) -> a -> cnumeric-prelude NumericPrelude 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
(
. ) :: (b -> c) -> (a -> b) -> a -> cnumeric-prelude NumericPrelude.Base 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
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cbasic-prelude CorePrelude morphism composition
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cclassy-prelude ClassyPrelude morphism composition