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.

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

    sbv Data.SBV

    Symbolic nand

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

    sbv Data.SBV

    Symbolic nor

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

    sbv Data.SBV.Internals

    Symbolic nand

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

    sbv Data.SBV.Internals

    Symbolic nor

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

    sbv Data.SBV.Trans

    Symbolic nand

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

    sbv Data.SBV.Trans

    Symbolic nor

  7. (<<.~) :: 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)
    

  8. (<.~) :: 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)
    

  9. (<<.~) :: 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)
    

  10. (<.~) :: 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)
    

Page 3 of many | Previous | Next