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.

  1. (.==) :: forall (l :: Symbol) a . KnownSymbol l => Label l -> a -> Rec (l .== a)

    row-types Data.Row.Records

    The singleton record

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

    row-types Data.Row.Records

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

  3. type family (r :: Row k) .! (t :: Symbol) :: k

    row-types Data.Row.Variants

    Type level label fetching

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

    row-types Data.Row.Variants

    Type level Row append

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

    row-types Data.Row.Variants

    Type level Row element removal

  6. 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?

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

    row-types Data.Row.Variants

    The minimum join of the two rows.

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

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

    sbv Data.SBV

    Symbolic conjunction

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

    sbv Data.SBV

    Symbolic inequality.

Page 43 of many | Previous | Next