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 Flip_ (d :: a ~> b ~> c) (e :: b) (f :: TyFun a c)

   type-spec	Test.TypeSpec.Internal.Apply

   No documentation available.

2. type family Flip__ (f :: a ~> b ~> c) (y :: b) (x :: a) :: c

   type-spec	Test.TypeSpec.Internal.Apply

   No documentation available.

3. data FlipSym (f :: FunKind a ~> b ~> c b ~> a ~> c)

   defun-core	DeFun.Function

   No documentation available.

4. data FlipSym1 (f :: a ~> b ~> c) (x :: FunKind b a ~> c)

   defun-core	DeFun.Function

   No documentation available.

5. data FlipSym2 (f :: a ~> b ~> c) (b1 :: b) (a1 :: FunKind a c)

   defun-core	DeFun.Function

   No documentation available.

6. type family FlipRelOp (op :: RelOp) :: RelOp

   rerefined	Rerefined.Predicate.Relational

   Flip a RelOp to give the opposite comparison.

7. type family FlipRelOp (op :: RelOp) :: RelOp

   rerefined	Rerefined.Predicate.Relational.Internal

   Flip a RelOp to give the opposite comparison.

8. type family FlipOrdering (ord :: Ordering) :: Ordering

   type-natural	Data.Type.Natural

   No documentation available.

9. type family FlipOrdering (ord :: Ordering) :: Ordering

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

   No documentation available.

10. data FlipPP (a :: ParamPred v k) (b :: k) (c :: TyFun v Type)

    decidable	Data.Type.Predicate.Param

    Flip the arguments of a ParamPred.

Page 16 of many | Previous | Next