Hoogle Search

Within LTS Haskell 24.49 (ghc-9.10.3)

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

  1. ( #+ ) :: MetaTerm -> MetaTerm -> MetaTerm

    rest-rewrite DSL

    No documentation available.

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

    rest-rewrite DSL

    No documentation available.

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

    row-types Data.Row

    Type level Row append

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

    row-types Data.Row

    Record disjoint union (commutative)

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

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

    row-types Data.Row.Internal

    Type level Row append

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

    row-types Data.Row.Records

    Type level Row append

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

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

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

    row-types Data.Row.Variants

    Type level Row append

Page 59 of many | Previous | Next