Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

1. data ((f :: Type -> Type -> Type -> Type) :+: (g :: Type -> Type -> Type -> Type)) (m :: Type -> Type) k

   fused-effects	Control.Effect.Sum

   Higher-order sums are used to combine multiple effects into a signature, typically by chaining on the right.

2. data a :-> c

   hedgehog-fn	Hedgehog.Function.Internal

   Shrinkable, showable functions Claessen, K. (2012, September). Shrinking and showing functions:(functional pearl). In ACM SIGPLAN Notices (Vol. 47, No. 12, pp. 73-80). ACM.

3. pattern (:*) :: a -> L as -> L (a ': as)

   hetero-parameter-list	Data.HeteroParList

   No documentation available.

4. pattern (:*.) :: a -> LL a ds -> LL a ('() ': ds)

   hetero-parameter-list	Data.HeteroParList

   No documentation available.

5. data a :*: b

   hpqtypes	Database.PostgreSQL.PQTypes.Format

   Cartesian product of rows.

6. (:*:) :: a -> b -> (:*:) a b

   hpqtypes	Database.PostgreSQL.PQTypes.Format

   No documentation available.

7. (:&:) :: forall t (ts1 :: [Type]) . !t -> !HVect ts1 -> HVect (t ': ts1)

   hvect	Data.HVect

   No documentation available.

8. type family (m :: Nat) :< (n :: Nat) :: Bool

   hvect	Data.HVect

   No documentation available.

9. (:/\:) :: Free a -> Free a -> Free a

   lattices	Algebra.Heyting.Free

   No documentation available.

10. (:=>:) :: Free a -> Free a -> Free a

    lattices	Algebra.Heyting.Free

    No documentation available.

Page 35 of many | Previous | Next