Home
last modified time | relevance | path

Searched defs:isSubsetOf (Results 1 – 25 of 173) sorted by relevance

1234567

/dports/textproc/hs-pandoc/pandoc-2.14.2/test/Tests/Writers/
H A DAnnotatedTable.hs57 isSubsetOf (x : xs) (y : ys) | x == y = isSubsetOf xs ys function
59 isSubsetOf [] _ = True function
60 isSubsetOf _ [] = False function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/pandoc-2.11.4/test/Tests/Writers/
H A DAnnotatedTable.hs58 isSubsetOf (x : xs) (y : ys) | x == y = isSubsetOf xs ys function
60 isSubsetOf [] _ = True function
61 isSubsetOf _ [] = False function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/charset-0.3.8/src/Data/
H A DCharSet.hs264 isSubsetOf (CharSet True _ i) (CharSet True _ j) = I.isSubsetOf i j function
265 isSubsetOf (CharSet True _ i) (CharSet False _ j) = I.null (I.intersection i j) function
266 isSubsetOf (CharSet False _ i) (CharSet True _ j) = all (\x -> I.member x i && I.member x j) [ol..o… function
267 isSubsetOf (CharSet False _ i) (CharSet False _ j) = I.isSubsetOf j i function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/charset-0.3.8/src/Data/
H A DCharSet.hs264 isSubsetOf (CharSet True _ i) (CharSet True _ j) = I.isSubsetOf i j function
265 isSubsetOf (CharSet True _ i) (CharSet False _ j) = I.null (I.intersection i j) function
266 isSubsetOf (CharSet False _ i) (CharSet True _ j) = all (\x -> I.member x i && I.member x j) [ol..o… function
267 isSubsetOf (CharSet False _ i) (CharSet False _ j) = I.isSubsetOf j i function
/dports/devel/hyperscan/hyperscan-5.4.0/src/util/
H A Dcharreach.cpp102 bool isSubsetOf(const CharReach &small, const CharReach &big) { in isSubsetOf() function
107 bool CharReach::isSubsetOf(const CharReach &other) const { in isSubsetOf() function in ue2::CharReach
/dports/audio/jid3lib/jid3lib-0.5.4/src/org/farng/mp3/
H A DAbstractMP3FileItem.java66 public boolean isSubsetOf(final Object object) { in isSubsetOf() method in AbstractMP3FileItem
H A DAbstractMP3Fragment.java68 public boolean isSubsetOf(final Object object) { in isSubsetOf() method in AbstractMP3Fragment
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/wai-cors-0.2.7/src/Network/Wai/Middleware/
H A DCors.hs505 isSubsetOf ∷ Eq α ⇒ [α] → [α] → Bool function
506 isSubsetOf l1 l2 = intersect l1 l2 ≡ l1 function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/wai-cors-0.2.7/src/Network/Wai/Middleware/
H A DCors.hs505 isSubsetOf ∷ Eq α ⇒ [α] → [α] → Bool function
506 isSubsetOf l1 l2 = intersect l1 l2 ≡ l1 function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/
H A DSmallSet.hs70 isSubsetOf s t = and $ toBoolListZipWith implies s t function
H A DVarSet.hs49 isSubsetOf s1 s2 = 0 == (s1 .&. complement s2) function
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/composer/semver/src/
H A DIntervals.php64 … public static function isSubsetOf(ConstraintInterface $candidate, ConstraintInterface $constraint) function in Composer\\Semver\\Intervals
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/composer/semver/src/
H A DIntervals.php64 … public static function isSubsetOf(ConstraintInterface $candidate, ConstraintInterface $constraint) function in Composer\\Semver\\Intervals
/dports/www/drupal9/drupal-9.2.10/vendor/composer/semver/src/
H A DIntervals.php64 … public static function isSubsetOf(ConstraintInterface $candidate, ConstraintInterface $constraint) function in Composer\\Semver\\Intervals
/dports/www/owncloud/owncloud/lib/composer/composer/semver/src/
H A DIntervals.php64 … public static function isSubsetOf(ConstraintInterface $candidate, ConstraintInterface $constraint) function in Composer\\Semver\\Intervals
/dports/audio/jid3lib/jid3lib-0.5.4/src/org/farng/mp3/id3/
H A DFrameBodyUnsupported.java56 public boolean isSubsetOf(final Object object) { in isSubsetOf() method in FrameBodyUnsupported
/dports/audio/jid3lib/jid3lib-0.5.4/src/org/farng/mp3/lyrics3/
H A DFieldBodyUnsupported.java50 public boolean isSubsetOf(final Object object) { in isSubsetOf() method in FieldBodyUnsupported
/dports/net/storj/storj-1.45.3/vendor/github.com/apache/thrift/lib/cocoa/src/
H A DTSet.swift97 public func isSubsetOf(other: TSet) -> Bool { in isSubsetOf() function
/dports/www/fabio/fabio-1.5.14/vendor/github.com/apache/thrift/thrift-da1169d75b15/lib/cocoa/src/
H A DTSet.swift97 public func isSubsetOf(other: TSet) -> Bool { in isSubsetOf() function
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/regex-tdfa-1.3.1.0/lib/Data/IntSet/
H A DEnumSet2.hs33 isSubsetOf (EnumSet e1) (EnumSet e2) = S.isSubsetOf e1 e2 function
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/regex-tdfa-1.3.1.0/lib/Data/IntSet/
H A DEnumSet2.hs33 isSubsetOf (EnumSet e1) (EnumSet e2) = S.isSubsetOf e1 e2 function
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/regex-tdfa-1.3.1.0/lib/Data/IntSet/
H A DEnumSet2.hs33 isSubsetOf (EnumSet e1) (EnumSet e2) = S.isSubsetOf e1 e2 function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/regex-tdfa-1.3.1.1/lib/Data/IntSet/
H A DEnumSet2.hs33 isSubsetOf (EnumSet e1) (EnumSet e2) = S.isSubsetOf e1 e2 function
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/regex-tdfa-1.3.1.0/lib/Data/IntSet/
H A DEnumSet2.hs33 isSubsetOf (EnumSet e1) (EnumSet e2) = S.isSubsetOf e1 e2 function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/regex-tdfa-1.3.1.0/lib/Data/IntSet/
H A DEnumSet2.hs33 isSubsetOf (EnumSet e1) (EnumSet e2) = S.isSubsetOf e1 e2 function

1234567