| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/vector-0.12.2.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/vector-0.12.2.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/vector-0.12.2.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/vector-0.12.2.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/devel/hs-ghc-events/ghc-events-0.17.0/_cabal_deps/vector-0.12.2.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/vector-0.12.3.0/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/vector-0.12.1.2/Data/Vector/Fusion/Bundle/ |
| H A D | Size.hs | 26 Exact m + Exact n = checkedAdd Exact m n function
35 Exact m - Exact n = checkedSubtract Exact m n function
73 clampedSubtract (Exact m) (Exact n) = Exact (max 0 (m - n))
75 | m <= n = Exact 0
84 smaller (Exact m) (Exact n) = Exact (delay_inline min m n)
97 smallerThan m (Exact n) = Exact (delay_inline min m n)
105 larger (Exact m) (Exact n) = Exact (delay_inline max m n)
106 larger (Exact m) (Max n) | m >= n = Exact m
108 larger (Max m) (Exact n) | n >= m = Exact n
115 toMax (Exact n) = Max n
[all …]
|