| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/Ranged-sets-0.4.0/Data/Ranged/ |
| H A D | RangedSet.hs | 74 instance DiscreteOrdered a => Semigroup (RSet a) where
77 instance DiscreteOrdered a => Monoid (RSet a) where
126 rSingleton :: DiscreteOrdered v => v -> RSet v
130 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
135 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
221 rSetEmpty :: DiscreteOrdered a => RSet a
225 rSetFull :: DiscreteOrdered a => RSet a
229 rSetUnfold :: DiscreteOrdered a =>
365 prop_empty :: (DiscreteOrdered a) => a -> Bool
371 prop_full :: (DiscreteOrdered a) => a -> Bool
[all …]
|
| /dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/alex-3.2.5/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/devel/hs-threadscope/threadscope-0.2.14/_cabal_deps/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/alex-3.2.5/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/alex-3.2.5/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/devel/hs-alex/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| /dports/devel/hs-ormolu/ormolu-0.4.0.0/_cabal_deps/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/www/hs-hjsmin/hjsmin-0.2.0.4/_cabal_deps/alex-3.2.5/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/alex-3.2.5/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/alex-3.2.6/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|
| H A D | RangedSet.hs | 48 instance DiscreteOrdered a => Semigroup (RSet a) where
51 instance DiscreteOrdered a => Monoid (RSet a) where
55 instance DiscreteOrdered a => Monoid (RSet a) where
62 validRangeList :: DiscreteOrdered v => [Range v] -> Bool
106 rSingleton :: DiscreteOrdered v => v -> RSet v
110 rSetIsEmpty :: DiscreteOrdered v => RSet v -> Bool
115 rSetIsFull :: DiscreteOrdered v => RSet v -> Bool
186 rSetNegation :: DiscreteOrdered a => RSet a -> RSet a
201 rSetEmpty :: DiscreteOrdered a => RSet a
205 rSetFull :: DiscreteOrdered a => RSet a
[all …]
|
| /dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/alex-3.2.5/src/Data/Ranged/ |
| H A D | Boundaries.hs | 13 DiscreteOrdered (..),
50 class Ord a => DiscreteOrdered a where
62 instance DiscreteOrdered Bool where
70 instance DiscreteOrdered Char where
74 instance DiscreteOrdered Int where
82 instance DiscreteOrdered Double where
86 instance DiscreteOrdered Float where
98 instance (Ord a, DiscreteOrdered b) => DiscreteOrdered (a, b)
105 instance (Ord a, Ord b, DiscreteOrdered c) => DiscreteOrdered (a, b, c)
114 DiscreteOrdered (a, b, c, d)
[all …]
|