| /dports/devel/hs-hlint/hlint-3.3.4/src/GHC/Util/ |
| H A D | FreeVars.hs | 64 instance FreeVars (Set OccName) where freeVars = id function
109 freeVars (L _ (HsBracket _ (ExpBr _ e))) = freeVars e function
115 freeVars (L _ HsIPVar{}) = mempty -- Implicit parameter. function
116 freeVars (L _ HsOverLit{}) = mempty -- Overloaded literal. function
117 freeVars (L _ HsLit{}) = mempty -- Simple literal. function
130 -- freeVars (e@(L _ HsIf{})) = freeVars $ children e -- If. function
149 freeVars e = freeVars $ children e function
152 freeVars (L _ (Present _ args)) = freeVars args function
153 freeVars _ = mempty function
157 freeVars o@(L _ (HsRecField _ x _)) = freeVars x function
[all …]
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/hlint-3.2.7/src/GHC/Util/ |
| H A D | FreeVars.hs | 65 instance FreeVars (Set OccName) where freeVars = id function
114 freeVars (L _ HsIPVar{}) = mempty -- Implicit parameter. function
115 freeVars (L _ HsOverLit{}) = mempty -- Overloaded literal. function
116 freeVars (L _ HsLit{}) = mempty -- Simple literal. function
119 freeVars (L _ HsWrap{}) = mempty -- Typechecker output. function
130 -- freeVars (e@(L _ HsIf{})) = freeVars $ children e -- If. function
149 freeVars e = freeVars $ children e function
152 freeVars (L _ (Present _ args)) = freeVars args function
153 freeVars _ = mempty function
157 freeVars o@(L _ (HsRecField _ x _)) = freeVars x function
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/IR/ |
| H A D | FreeVars.hs | 80 freeVars = mconcat . map freeVars function
84 freeVars dg = case dg of function
90 freeVars d = freeVars (dDefinition d) <> freeVars (dSignature d) function
94 freeVars d = case d of function
125 freeVars m = case m of function
132 freeVars s = foldr rmTParam (freeVars (sProps s) <> freeVars (sType s)) function
146 freeVars tv = case tv of function
151 freeVars _tc = mempty function
154 freeVars nt = foldr rmTParam base (ntParams nt) function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/Treeless/ |
| H A D | Subst.hs | 93 freeVars x = Map.singleton x once function
96 freeVars xs = Map.unionsWith mappend $ map freeVars xs function
99 freeVars (x, y) = Map.unionWith mappend (freeVars x) (freeVars y) function
104 freeVars (Binder 0 x) = freeVars x function
105 …freeVars (Binder k x) = Map.filterWithKey (\ k _ -> k >= 0) $ Map.mapKeysMonotonic (subtract k) $ … function
110 freeVars (InSeq x) = inSeq <$> freeVars x function
113 freeVars = \case function
131 freeVars = \case function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Free/ |
| H A D | Lazy.hs | 503 freeVars' = foldMap freeVars' function
560 freeVars' (Max _ as) = freeVars' as function
563 freeVars' (Plus _ l) = freeVars' l function
577 freeVars' (Apply t) = freeVars' t function
578 freeVars' (Proj{} ) = mempty function
579 freeVars' (IApply x y r) = freeVars' (x,y,r) function
585 freeVars' d = freeVars' (domTactic d, unDom d) function
589 freeVars' (NoAbs _ b) = freeVars' b function
592 freeVars' EmptyTel = mempty function
593 freeVars' (ExtendTel t tel) = freeVars' (t, tel) function
[all …]
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/jinterface/java_src/com/ericsson/otp/erlang/ |
| H A D | OtpErlangFun.java | 33 private final OtpErlangObject[] freeVars; field in OtpErlangFun
51 final long index, final long uniq, final OtpErlangObject[] freeVars) { in OtpErlangFun()
65 final OtpErlangObject[] freeVars) { in OtpErlangFun()
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/retrie-0.1.1.1/Retrie/ |
| H A D | FreeVars.hs | 46 freeVars qs = everything (<>) (mkQ emptyFVs fvsExpr `extQ` fvsType) function
|
| /dports/lang/mosh/mosh-0.2.7/src/ |
| H A D | Closure.h | 44 …Closure(Object* pc, int size, int argLength, bool isOptionalArg, const Object* freeVars, int freeV… in Closure()
94 const Object* freeVars, in makeClosure()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | SymbolOccurrenceReplacement.hpp | 44 …nceReplacement(bool isPredicate, unsigned symbol, unsigned freshSymbol, Formula::VarList* freeVars) in SymbolOccurrenceReplacement()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rewriting/ |
| H A D | NonLinPattern.hs | 312 freeVars' = \case function
328 freeVars' = \case function
|
| /dports/lang/elm/compiler-0.19.1/compiler/src/Canonicalize/Environment/ |
| H A D | Local.hs | 197 let freeVars = foldr addCtorFreeVars Map.empty ctors function
214 let freeVars = addFreeVars Map.empty tipe function
|
| /dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/lang/erlang-wx/otp-OTP-24.1.7/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/lang/erlang/otp-OTP-24.1.7/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/lang/erlang-java/otp-OTP-24.1.7/lib/jinterface/test/jinterface_SUITE_data/ |
| H A D | FunEquals.java | 44 OtpErlangObject[] freeVars = new OtpErlangObject[]{ in main() local
|
| /dports/www/pomerium/pomerium-0.8.3/vendor/github.com/google/go-jsonnet/internal/program/ |
| H A D | static_analyzer.go | 28 freeVars ast.IdentifierSet member
|