Hoogle Search
Within LTS Haskell 24.11 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.~ ) :: ASetter s t a b -> b -> s -> tlens-family-core Lens.Family Set all referenced fields to the given value.
(
.~ ) :: ASetter s t a b -> b -> s -> treflex-dom-core Reflex.Dom.Widget.Input Replace the target of a Lens or all of the targets of a Setter or Traversal with a constant value. This is an infix version of set, provided for consistency with (.=).
f <$ a ≡ mapped .~ f $ a
>>> (a,b,c,d) & _4 .~ e (a,b,c,e)
>>> (42,"world") & _1 .~ "hello" ("hello","world")
>>> (a,b) & both .~ c (c,c)
(.~) :: Setter s t a b -> b -> s -> t (.~) :: Iso s t a b -> b -> s -> t (.~) :: Lens s t a b -> b -> s -> t (.~) :: Traversal s t a b -> b -> s -> t
-
language-c99-simple Language.C99.Simple.Expr No documentation available.
(
.~~ ) :: (Backprop a, Backprop b, Reifies s W) => Lens' b a -> BVar s a -> BVar s b -> BVar s bbackprop Numeric.Backprop An infix version of setVar, meant to evoke parallels to .~ from lens. With normal values, you can set something in a value with a lens:
x & myLens .~ y
would "set" a part of x :: b, specified by myLens :: Lens' a b, to a new value y :: a.xVar & myLens .~~ yVar
would "set" a part of xVar :: BVar s b (a BVar holding a b), specified by myLens :: Lens' a b, to a new value given by yVar :: BVar s a. The result is a new (updated) value of type BVar s b. This is the main way to set values inside BVars of container types. Note that this does not incurr the performance overhead issues of viewVar and ^^., and is fairly cheap.(
.~~ ) :: (Num a, Num b, Reifies s W) => Lens' b a -> BVar s a -> BVar s b -> BVar s bbackprop Numeric.Backprop.Num .~~, but with Num constraints instead of Backprop constraints.
(
.~& ) :: SBool -> SBool -> SBoolsbv Data.SBV Symbolic nand
(
.~| ) :: SBool -> SBool -> SBoolsbv Data.SBV Symbolic nor
(
.~& ) :: SBool -> SBool -> SBoolsbv Data.SBV.Internals Symbolic nand
(
.~| ) :: SBool -> SBool -> SBoolsbv Data.SBV.Internals Symbolic nor
(
.~& ) :: SBool -> SBool -> SBoolsbv Data.SBV.Trans Symbolic nand