We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 588e6cc commit 5500387Copy full SHA for 5500387
src/Constrained/API.hs
@@ -17,6 +17,7 @@ module Constrained.API (
17
HasGenHint (..),
18
Sized (..),
19
NumLike (..),
20
+ HasDivision (..),
21
GenericallyInstantiated,
22
IsPred,
23
Logic,
src/Constrained/NumOrd.hs
@@ -43,6 +43,7 @@ module Constrained.NumOrd (
43
OrdLike (..),
44
MaybeBounded (..),
45
46
47
Numeric,
48
Number,
49
nubOrd,
0 commit comments