Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. module Data.Constraint.Flip

   No documentation available.

2. data Flip (d :: a -> b -> Exp c) (e :: b) (f :: a) (g :: c)

   first-class-families	Fcf

   No documentation available.

3. data Flip (d :: a -> b -> Exp c) (e :: b) (f :: a) (g :: c)

   first-class-families	Fcf.Combinators

   No documentation available.

4. type family Flip (a1 :: a ~> b ~> c) (a2 :: b) (a3 :: a) :: c

   singletons-base	Data.Function.Singletons

   No documentation available.

5. type family Flip (a1 :: a ~> b ~> c) (a2 :: b) (a3 :: a) :: c

   singletons-base	Prelude.Singletons

   No documentation available.

6. data Flip (d :: a ~> b ~> c) (e :: TyFun b a ~> c)

   type-spec	Test.TypeSpec.Internal.Apply

   No documentation available.

7. type family Flip (f :: a ~> b ~> c) (b1 :: b) (a1 :: a) :: c

   defun-core	DeFun.Function

   Function flip. Combinator C in https://en.wikipedia.org/wiki/B,_C,_K,_W_system.

8. module Data.Type.Flip

   No documentation available.

9. newtype Flip (t :: Type -> Type -> Type) a b

   type-flip	Data.Type.Flip

   No documentation available.

10. Flip :: t b a -> Flip (t :: Type -> Type -> Type) a b

    type-flip	Data.Type.Flip

    No documentation available.

Page 6 of many | Previous | Next