Hoogle Search

Within LTS Haskell 24.31 (ghc-9.10.3)

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

Exact lookup

1. data (a :: k1) :~~: (b :: k2)

   type-equality	Data.Type.Equality.Hetero

   Kind heterogeneous propositional equality. Like :~:, a :~~: b is inhabited by a terminating value if and only if a is the same type as b.

2. type family (a :: [k]) :++: (b :: [k]) :: [k]

   type-fun	TypeFun.Data.List

   No documentation available.

3. type family (a :: N) :*: (b :: N) :: N

   type-fun	TypeFun.Data.Peano

   No documentation available.

4. type family (a :: N) :+: (b :: N) :: N

   type-fun	TypeFun.Data.Peano

   No documentation available.

5. type family (a :: N) :-: (b :: N) :: N

   type-fun	TypeFun.Data.Peano

   No documentation available.

6. (:$$$:) :: forall (docl :: Doc Symbol) (docr :: Doc Symbol) . SDoc docl -> SDoc docr -> SDoc (docl ':$$: docr)

   type-level-show	TypeLevelShow.Doc

   No documentation available.

7. (:$$:) :: Doc s -> Doc s -> Doc s

   type-level-show	TypeLevelShow.Doc

   stack docs on top of each other (newline)

8. (:$<>:) :: forall (docl :: Doc Symbol) (docr :: Doc Symbol) . SDoc docl -> SDoc docr -> SDoc (docl ':<>: docr)

   type-level-show	TypeLevelShow.Doc

   No documentation available.

9. (:<>:) :: Doc s -> Doc s -> Doc s

   type-level-show	TypeLevelShow.Doc

   append docs next to each other

10. data (a :: Natural) :<: (b :: Natural)

    type-natural	Data.Type.Natural.Lemma.Order

    Since 1.2.0 (argument changed)

Page 47 of many | Previous | Next