Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

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

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

   row-types	Data.Row.Variants

   Type level Row append

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

   sbv	Data.SBV

   Symbolic logical xor

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

   sbv	Data.SBV.Internals

   Symbolic logical xor

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

   sbv	Data.SBV.Trans

   Symbolic logical xor

6. (%+) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SNat (n + m)

   singleraeh	Singleraeh.Natural

   No documentation available.

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

   sql-words	Language.SQL.Keyword.Concat

   Directly concatenate SQL string without whitespaces.

8. data a :+ b

   test-fun	Test.Fun

   Heterogeneous products as nested pairs. These products must be terminated by ().

   a :+ b :+ c :+ ()  -- the product of a, b, c
   

9. (:+) :: a -> b -> (:+) a b

   test-fun	Test.Fun

   No documentation available.

10. data a :+ b

    test-fun	Test.Fun.Internal.Generic

    Heterogeneous products as nested pairs. These products must be terminated by ().

    a :+ b :+ c :+ ()  -- the product of a, b, c
    

Page 60 of many | Previous | Next