Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

  1. (.+) :: RuntimeTerm -> RuntimeTerm -> RuntimeTerm

    rest-rewrite DSL

    No documentation available.

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

    row-types Data.Row

    Type level Row append

  3. (.+) :: forall (l :: Row Type) (r :: Row Type) . FreeForall l => Rec l -> Rec r -> Rec (l .+ r)

    row-types Data.Row

    Record disjoint union (commutative)

  4. pattern (:+) :: Disjoint l r => Rec l -> Rec r -> Rec (l .+ r)

    row-types Data.Row

    A pattern version of record union, for use in pattern matching.

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

    row-types Data.Row.Internal

    Type level Row append

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

    row-types Data.Row.Records

    Type level Row append

  7. (.+) :: forall (l :: Row Type) (r :: Row Type) . FreeForall l => Rec l -> Rec r -> Rec (l .+ r)

    row-types Data.Row.Records

    Record disjoint union (commutative)

  8. pattern (:+) :: Disjoint l r => Rec l -> Rec r -> Rec (l .+ r)

    row-types Data.Row.Records

    A pattern version of record union, for use in pattern matching.

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

    row-types Data.Row.Variants

    Type level Row append

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

    sbv Data.SBV

    Symbolic logical xor

Page 59 of many | Previous | Next