Hoogle Search

Within LTS Haskell 24.28 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. (.^) :: (Mergeable b, Num b, SIntegral e) => b -> SBV e -> b

   sbv	Data.SBV.Trans

   Symbolic exponentiation using bit blasting and repeated squaring. N.B. The exponent must be unsigned/bounded if symbolic. Signed exponents will be rejected.

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

   sbv	Data.SBV.Trans

   Symbolic disjunction

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

   sbv	Data.SBV.Trans

   Symbolic nand

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

   sbv	Data.SBV.Trans

   Symbolic nor

5. (.&.) :: C bits => bits -> bits -> bits

   set-cover	Math.SetCover.Bit

   No documentation available.

6. (.|.) :: C bits => bits -> bits -> bits

   set-cover	Math.SetCover.Bit

   No documentation available.

7. (.<.) :: Keyword -> Keyword -> Keyword

   sql-words	Language.SQL.Keyword.Concat

   Binary lt operator for SQL expression.

8. (.<=.) :: Keyword -> Keyword -> Keyword

   sql-words	Language.SQL.Keyword.Concat

   Binary le operator for SQL expression.

9. (.<>.) :: Keyword -> Keyword -> Keyword

   sql-words	Language.SQL.Keyword.Concat

   Binary not eq operator for SQL expression.

10. (.=.) :: Keyword -> Keyword -> Keyword

    sql-words	Language.SQL.Keyword.Concat

    Binary eq operator for SQL expression.

Page 48 of many | Previous | Next