Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. dividesMax :: forall (a :: Nat) (b :: Nat) (c :: Nat) . (Divides a b, Divides a c) :- Divides a (Max b c)

   constraints	Data.Constraint.Nat

   No documentation available.

2. dividesMin :: forall (a :: Nat) (b :: Nat) (c :: Nat) . (Divides a b, Divides a c) :- Divides a (Min b c)

   constraints	Data.Constraint.Nat

   No documentation available.

3. dividesPlus :: forall (a :: Nat) (b :: Nat) (c :: Nat) . (Divides a b, Divides a c) :- Divides a (b + c)

   constraints	Data.Constraint.Nat

   No documentation available.

4. dividesPow :: forall (n :: Natural) (a :: Nat) (b :: Nat) . (1 <= n, Divides a b) :- Divides a (b ^ n)

   constraints	Data.Constraint.Nat

   No documentation available.

5. dividesTimes :: forall (a :: Nat) (b :: Nat) (c :: Natural) . Divides a b :- Divides a (b * c)

   constraints	Data.Constraint.Nat

   No documentation available.

6. euclideanNat :: forall (c :: Natural) (a :: Natural) . (1 <= c) :- (a ~ ((c * Div a c) + Mod a c))

   constraints	Data.Constraint.Nat

   No documentation available.

7. gcdIsIdempotent :: forall (n :: Nat) . Dict (Gcd n n ~ n)

   constraints	Data.Constraint.Nat

   No documentation available.

8. lcmIsIdempotent :: forall (n :: Nat) . Dict (Lcm n n ~ n)

   constraints	Data.Constraint.Nat

   No documentation available.

9. leId :: forall (a :: Nat) . Dict (a <= a)

   constraints	Data.Constraint.Nat

   No documentation available.

10. maxIsIdempotent :: forall (n :: Nat) . Dict (Max n n ~ n)

    constraints	Data.Constraint.Nat

    No documentation available.

Page 606 of many | Previous | Next