Hoogle Search
Within LTS Haskell 24.64 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
constrained-categories Control.Category.Constrained No documentation available.
-
constrained-categories Control.Category.Constrained.Prelude No documentation available.
(
. ) :: (b -> c) -> (a -> b) -> a -> ccopilot-language Copilot.Language.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
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cfree-categories Control.Category.Free morphism composition
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cquaalude Essentials morphism composition
(
. ) :: forall (b :: k) (c :: k) (a :: k) . Category cat => cat b c -> cat a b -> cat a cverset Verset morphism composition
(
.&&. ) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> PropertyQuickCheck Test.QuickCheck Conjunction: p1 .&&. p2 passes if both p1 and p2 pass.
(
.&. ) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> PropertyQuickCheck Test.QuickCheck Nondeterministic choice: p1 .&. p2 picks randomly one of p1 and p2 to test. If you test the property 100 times it makes 100 random choices.
(
.||. ) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> PropertyQuickCheck Test.QuickCheck Disjunction: p1 .||. p2 passes unless p1 and p2 simultaneously fail.
(
.!= ) :: Parser (Maybe a) -> a -> Parser aaeson Data.Aeson Helper for use in combination with .:? to provide default values for optional JSON object fields. This combinator is most useful if the key and value can be absent from an object without affecting its validity and we know a default value to assign in that case. If the key and value are mandatory, use .: instead. Example usage:
v1 <- o .:? "opt_field_with_dfl" .!= "default_val" v2 <- o .: "mandatory_field" v3 <- o .:? "opt_field2"