Hoogle Search
Within LTS Haskell 22.23 (ghc-9.6.5)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
(
.~& ) :: 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
(
.~| ) :: SBool -> SBool -> SBoolsbv Data.SBV.Trans Symbolic nor
(
<<.~ ) :: LensLike ((,) a) s t a b -> b -> s -> (a, t)lens Control.Lens.Lens Replace the target of a Lens, but return the old value. When you do not need the old value, (.~) is more flexible.
(<<.~) :: Lens s t a b -> b -> s -> (a, t) (<<.~) :: Iso s t a b -> b -> s -> (a, t) (<<.~) :: Monoid a => Traversal s t a b -> b -> s -> (a, t)
(
<.~ ) :: ASetter s t a b -> b -> s -> (b, t)lens Control.Lens.Operators Set with pass-through. This is mostly present for consistency, but may be useful for chaining assignments. If you do not need a copy of the intermediate result, then using l .~ t directly is a good idea.
>>> (a,b) & _1 <.~ c (c,(c,b))
>>> ("good","morning","vietnam") & _3 <.~ "world" ("world",("good","morning","world"))
>>> (42,Map.fromList [("goodnight","gracie")]) & _2.at "hello" <.~ Just "world" (Just "world",(42,fromList [("goodnight","gracie"),("hello","world")]))
(<.~) :: Setter s t a b -> b -> s -> (b, t) (<.~) :: Iso s t a b -> b -> s -> (b, t) (<.~) :: Lens s t a b -> b -> s -> (b, t) (<.~) :: Traversal s t a b -> b -> s -> (b, t)
(
<<.~ ) :: LensLike ((,) a) s t a b -> b -> s -> (a, t)lens Control.Lens.Operators Replace the target of a Lens, but return the old value. When you do not need the old value, (.~) is more flexible.
(<<.~) :: Lens s t a b -> b -> s -> (a, t) (<<.~) :: Iso s t a b -> b -> s -> (a, t) (<<.~) :: Monoid a => Traversal s t a b -> b -> s -> (a, t)
(
<.~ ) :: ASetter s t a b -> b -> s -> (b, t)lens Control.Lens.Setter Set with pass-through. This is mostly present for consistency, but may be useful for chaining assignments. If you do not need a copy of the intermediate result, then using l .~ t directly is a good idea.
>>> (a,b) & _1 <.~ c (c,(c,b))
>>> ("good","morning","vietnam") & _3 <.~ "world" ("world",("good","morning","world"))
>>> (42,Map.fromList [("goodnight","gracie")]) & _2.at "hello" <.~ Just "world" (Just "world",(42,fromList [("goodnight","gracie"),("hello","world")]))
(<.~) :: Setter s t a b -> b -> s -> (b, t) (<.~) :: Iso s t a b -> b -> s -> (b, t) (<.~) :: Lens s t a b -> b -> s -> (b, t) (<.~) :: Traversal s t a b -> b -> s -> (b, t)