Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

  1. type family (l :: Row k) .+ (r :: Row k) :: Row k

    row-types Data.Row.Variants

    Type level Row append

  2. type family (r :: Row k) .- (s :: Symbol) :: Row k

    row-types Data.Row.Variants

    Type level Row element removal

  3. type family (r :: Row k) .\ (l :: Symbol)

    row-types Data.Row.Variants

    Does the row lack (i.e. it does not have) the specified label?

  4. type family (l :: Row k) .\/ (r :: Row k) :: Row k

    row-types Data.Row.Variants

    The minimum join of the two rows.

  5. type family (l :: Row k) .\\ (r :: Row k) :: Row k

    row-types Data.Row.Variants

    Type level Row difference. That is, l .\\ r is the row remaining after removing any matching elements of r from l.

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

    sbv Data.SBV

    Symbolic conjunction

  7. (./=) :: EqSymbolic a => a -> a -> SBool

    sbv Data.SBV

    Symbolic inequality.

  8. (./==) :: EqSymbolic a => a -> a -> SBool

    sbv Data.SBV

    Negation of strong equality. Equaivalent to negation of (.===) on all types.

  9. (.<) :: OrdSymbolic a => a -> a -> SBool

    sbv Data.SBV

    Symbolic less than.

  10. (.<+>) :: SBool -> SBool -> SBool

    sbv Data.SBV

    Symbolic logical xor

Page 40 of many | Previous | Next