| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | Inst.hs | 106 ; let ty = piResultTys (idType id) ty_args function
136 if deeplySkolemise ty = (wrap, tvs, evs, rho) function
164 ; let tv_prs1 = map tyVarName tvs `zip` tvs1 function
181 -- if topInstantiate ty = (wrap, rho) function
191 -- if topInstantiate ty = (wrap, rho) function
209 ; let inst_theta' = substTheta subst inst_theta function
247 -- if deeplyInstantiate ty = (wrap, rho) function
271 ; let arg_tys' = substTys subst' arg_tys function
554 ; let lit_ty = hsLitType hs_lit function
687 ; let tys' = substTys subst tys function
[all …]
|
| /dports/lang/purescript/purescript-0.14.5/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/vector-algorithms-0.8.0.4/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/vector-algorithms-0.8.0.3/src/Data/Vector/Algorithms/ |
| H A D | Tim.hs | 57 -- if stk = _ :> z :> y :> x function
60 -- if stk = _ :> y :> x function
129 let runEnd = min len (i + max runLen mr) function
246 let from = unsafeSlice i (tmpBufLen-i) tmpBuf function
254 let gallopLen = i' - i function
263 let gallopLen = j' - j function
304 let from = unsafeSlice 0 (j+1) tmpBuf function
312 let gallopLen = i - i' function
321 let gallopLen = j - j' function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/ |
| H A D | Warshall.hs | 57 let es = [ (fst (nodes !! m), e) function
186 let i = nextNode st function
228 let ((r,c),(r',c')) = bounds m function
297 if i --n--> j with n<=0 (meaning i+n <= j) then j = i + n function
301 if j --n--> i with n >= 0 (meaning j <= i + n) then j = i + n function
352 let Just row = (Map.lookup (Rigid r) (nodeMap gr)) function
360 let Just row = (Map.lookup (Flex x) (nodeMap gr)) function
377 if i --n--> j with n<=0 (meaning i + n <= j) then j = i + n function
384 let row = fromJust $ Map.lookup (Rigid r) (nodeMap gr) function
391 let trunc z | z >= 0 = 0 function
[all …]
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/shake-0.19.4/src/Development/Ninja/ |
| H A D | Parse.hs | 36 let (normal,implicit,orderOnly) = splitDeps deps function
37 let build = Build rule env normal implicit orderOnly binds function
39 …if rule == BS.pack "phony" then ninja{phonys = [(x, normal ++ implicit ++ orderOnly) | x <- output… function
|
| /dports/devel/hs-shake/shake-0.19.6/src/Development/Ninja/ |
| H A D | Parse.hs | 36 let (normal,implicit,orderOnly) = splitDeps deps function
37 let build = Build rule env normal implicit orderOnly binds function
39 …if rule == BS.pack "phony" then ninja{phonys = [(x, normal ++ implicit ++ orderOnly) | x <- output… function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/shake-0.19.4/src/Development/Ninja/ |
| H A D | Parse.hs | 36 let (normal,implicit,orderOnly) = splitDeps deps function
37 let build = Build rule env normal implicit orderOnly binds function
39 …if rule == BS.pack "phony" then ninja{phonys = [(x, normal ++ implicit ++ orderOnly) | x <- output… function
|