Hoogle Search
Within LTS Haskell 22.21 (ghc-9.6.5)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.~ ) :: ((a -> Identity b) -> s -> Identity t) -> b -> s -> tgeneric-lens Data.Generics.Internal.VL No documentation available.
(
.~ ) :: Setter s t a b -> b -> s -> tlens-family Lens.Family2 Set all referenced fields to the given value.
(
.~ ) :: ASetter s t a b -> b -> s -> tlens-family-core Lens.Family Set all referenced fields to the given value.
(
.~ ) :: Lens' s a -> a -> s -> shegg Data.Equality.Graph.Lens Synonym for set
(
.~ ) :: ASetter s t a b -> b -> s -> tstack Stack.Prelude (.~) assigns a value to the target. It's the same thing as using (%~) with const:
l .~ x = l %~ const x
See set if you want a non-operator synonym. Here it is used to change 2 fields of a 3-tuple:>>> (0,0,0) & _1 .~ 1 & _3 .~ 3 (1,0,3)
(
.~ ) :: ASetter s t a b -> b -> s -> tuniversum Universum Deprecated: Use corresponding function from lens or microlens package
(
.~ ) :: Boomerang e tok a b -> Boomerang e tok b c -> Boomerang e tok a cboomerang Text.Boomerang.Prim Reverse composition, but with the side effects still in left-to-right order.
(
.~~ ) :: (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