Home
last modified time | relevance | path

Searched refs:predMentionsName (Results 1 – 25 of 100) sorted by relevance

1234

/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/invariant-0.5.3/src/Data/Functor/Invariant/TH/
H A DInternal.hs288 predMentionsName :: Pred -> [Name] -> Bool
290 predMentionsName = mentionsName function
292 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
293 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/invariant-0.5.3/src/Data/Functor/Invariant/TH/
H A DInternal.hs288 predMentionsName :: Pred -> [Name] -> Bool
290 predMentionsName = mentionsName function
292 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
293 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/invariant-0.5.4/src/Data/Functor/Invariant/TH/
H A DInternal.hs317 predMentionsName :: Pred -> [Name] -> Bool
319 predMentionsName = mentionsName function
321 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
322 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/Invariant/TH/
H A DInternal.hs317 predMentionsName :: Pred -> [Name] -> Bool
319 predMentionsName = mentionsName function
321 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
322 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/Invariant/TH/
H A DInternal.hs317 predMentionsName :: Pred -> [Name] -> Bool
319 predMentionsName = mentionsName function
321 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
322 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/invariant-0.5.4/src/Data/Functor/Invariant/TH/
H A DInternal.hs317 predMentionsName :: Pred -> [Name] -> Bool
319 predMentionsName = mentionsName function
321 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
322 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/elm-format/elm-format-0.8.3/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/bifunctors-5.5.7/src/Data/Bifunctor/TH/
H A DInternal.hs323 predMentionsName :: Pred -> [Name] -> Bool
325 predMentionsName = mentionsName function
327 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
328 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/stack/stack-2.7.3/_cabal_deps/bifunctors-5.5.11/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/bifunctors-5.5.11/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/bifunctors-5.5.10/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/bifunctors-5.5.10/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/bifunctors-5.5.10/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/bifunctors-5.5.10/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/bifunctors-5.5.11/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/bifunctors-5.5.10/src/Data/Bifunctor/TH/
H A DInternal.hs327 predMentionsName :: Pred -> [Name] -> Bool
329 predMentionsName = mentionsName function
331 predMentionsName (ClassP n tys) names = n `elem` names || any (`mentionsName` names) tys function
332 predMentionsName (EqualP t1 t2) names = mentionsName t1 names || mentionsName t2 names function

1234