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.

  1. (.~) :: ASetter s t a b -> b -> s -> t

    lens-family-core Lens.Family

    Set all referenced fields to the given value.

  2. (.~) :: ASetter s t a b -> b -> s -> t

    reflex-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
    

  3. (.~) :: Expr -> Expr

    language-c99-simple Language.C99.Simple.Expr

    No documentation available.

  4. (.~~) :: (Backprop a, Backprop b, Reifies s W) => Lens' b a -> BVar s a -> BVar s b -> BVar s b

    backprop 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.

  5. (.~~) :: (Num a, Num b, Reifies s W) => Lens' b a -> BVar s a -> BVar s b -> BVar s b

    backprop Numeric.Backprop.Num

    .~~, but with Num constraints instead of Backprop constraints.

  6. (.~&) :: SBool -> SBool -> SBool

    sbv Data.SBV

    Symbolic nand

  7. (.~|) :: SBool -> SBool -> SBool

    sbv Data.SBV

    Symbolic nor

  8. (.~&) :: SBool -> SBool -> SBool

    sbv Data.SBV.Internals

    Symbolic nand

  9. (.~|) :: SBool -> SBool -> SBool

    sbv Data.SBV.Internals

    Symbolic nor

  10. (.~&) :: SBool -> SBool -> SBool

    sbv Data.SBV.Trans

    Symbolic nand

Page 2 of many | Previous | Next