Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. (%<=?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n <=? m)

   type-natural	Data.Type.Natural

   No documentation available.

2. (%<?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n <? m)

   type-natural	Data.Type.Natural

   No documentation available.

3. (%>=?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n >=? m)

   type-natural	Data.Type.Natural

   No documentation available.

4. (%>?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n >? m)

   type-natural	Data.Type.Natural

   No documentation available.

5. (%^) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SNat (n ^ m)

   type-natural	Data.Type.Natural

   No documentation available.

6. (%~) :: forall (l :: Nat) (r :: Nat) . SNat l -> SNat r -> Equality l r

   type-natural	Data.Type.Natural

   No documentation available.

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

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

   No documentation available.

8. (%<?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n <? m)

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

   No documentation available.

9. (%>=?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n >=? m)

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

   No documentation available.

10. (%>?) :: forall (n :: Nat) (m :: Nat) . SNat n -> SNat m -> SBool (n >? m)

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

    No documentation available.

Page 21 of many | Previous | Next