| /dports/devel/hs-darcs/darcs-2.16.4/src/Darcs/Repository/ |
| H A D | Pending.hs | 175 tentativelyRemoveFromPending r ps = do function
191 tentativelyRemoveFromPW r changes pending working = do function
233 , Just zs' <- removeFromWorking (invert (ix':>:deps)) zs = updatePending xs ys' zs' function
253 | Just zs' <- removeFL (invert y) zs = removeRLFL ys zs' function
262 | Just zs' <- removeFL y zs = removeAllFL ys zs' function
270 | Just zs' <- decoalesceFL zs y = decoalesceAllFL zs' ys function
281 | Just z' <- primDecoalesce z y = Just (z' :>: zs) function
341 revertPending r upe = do function
|
| /dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/src/ |
| H A D | Loader.hs | 19 let r = P.decode' text function
23 let Just centres = P.costCentres profile function
|
| /dports/lang/ghc/ghc-8.10.7/libraries/base/GHC/IO/Handle/ |
| H A D | Text.hs | 206 | r == w = return (False, w) function
264 | r == w = return acc0 function
294 | r == w = return (acc0, 0) function
419 let r = if isEOFError e function
784 | Just fd <- cast haDevice = RawIO.write (fd::FD) ptr bytes function
789 | Just fd <- cast haDevice = RawIO.writeNonBlocking (fd::FD) ptr bytes function
955 Just fd <- cast haDevice = do function
|
| /dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/optics-core-0.3.0.1/src/Optics/ |
| H A D | IxTraversal.hs | 178 Just s -> let r = f i s a in (r, Just r) function
191 Just s -> let r = f i a s in (r, Just r) function
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/snap-core-1.0.4.1/src/Snap/Internal/Http/ |
| H A D | Types.hs | 909 -- ghci| let r = 'setResponseBody' function
980 -- ghci| let r = 'setResponseBody' function
991 -- ghci| let r' = 'modifyResponseBody' function
1074 -- Just (Cookie {cookieName = \"name\", cookieValue = \"value\", ...}) function
1127 -- Just (Cookie {cookieName = \"name\", cookieValue = \"value\", ...}) function
1152 -- Just (Cookie {cookieName = \"name\", cookieValue = \"value\", ...}) function
1156 -- Just (Cookie {cookieName = \"name\'\", ...}) function
1158 -- Just (Cookie {cookieName = \"name\", ...}) function
1194 setContentLength !l r = r { rspContentLength = Just l } function
1210 clearContentLength r = r { rspContentLength = Nothing } function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/Highlighting/ |
| H A D | Range.hs | 48 rangeInvariant r = from r <= to r function
86 rangeToPositions r = [from r .. to r - 1] function
96 rToR r = Ranges (map iToR (P.rangeIntervals r)) function
109 Just i -> Range { from = fromIntegral $ P.posPos $ P.iStart i function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Utils/ |
| H A D | RecordMap.hs | 77 fieldSet r = Map.keysSet (recordMap r) function
81 displayOrder r = _displayOrder r function
94 displayFields r = map find (displayOrder r) function
125 | Just _ <- Map.lookup x m = Left (x,v) function
136 r = recordFromFields fs function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Plugin/CodeAction/ |
| H A D | PositionIndexed.hs | 62 stripRange r s = case unconsRange r s of function
131 Just pos -> range { _start = pos } function
|
| /dports/devel/hs-hls-install/haskell-language-server-1.4.0/ghcide/src/Development/IDE/Plugin/CodeAction/ |
| H A D | PositionIndexed.hs | 62 stripRange r s = case unconsRange r s of function
131 Just pos -> range { _start = pos } function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/ |
| H A D | Convert.hs | 73 popMapS r w = do (m, xs) <- gets r function
100 r projfcns = do function
335 let Just (npar,_) = fst $ cdorigin cc function
350 let Just as = I.allApplyElims es function
363 let Just as = I.allApplyElims es function
368 let Just as = I.allApplyElims es function
374 let Just (npar,_) = fst $ cdorigin cc function
577 let Just (npar,_) = fst $ cdorigin cc function
620 perm = map (\i -> let Just x = lookup i rperm in x) [0..length ids - 1] function
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Utils/ |
| H A D | BVDomain.hs | 344 r = loup .&. himask' function
571 | Just 0 <- asSingleton a = b function
572 | Just 0 <- asSingleton b = a function
585 | Just 1 <- asSingleton a = b function
586 | Just 1 <- asSingleton b = a function
611 | Just x <- asSingleton a, x == mask = b function
612 | Just x <- asSingleton b, x == mask = a function
619 | Just 0 <- asSingleton a = b function
620 | Just 0 <- asSingleton b = a function
625 | Just 0 <- asSingleton a = b function
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Data/SBV/Core/ |
| H A D | Floating.hs | 322 r st = do msv <- sbvToSV st rm function
339 r st = do msv <- sbvToSV st rm function
503 r st = do sva <- sbvToSV st a function
510 | Just v <- unliteral a = literal $ f v function
512 where r st = do sva <- sbvToSV st a function
524 r st = do sva <- sbvToSV st a function
543 r st = do sva <- sbvToSV st a function
555 where r st = do sva <- sbvToSV st a function
568 r st = do sva <- sbvToSV st a function
643 | Just f <- unliteral fVal = literal $ wordToFloat f function
[all …]
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/system-filepath-0.4.14/lib/Filesystem/ |
| H A D | Path.hs | 181 Just RootWindowsVolume{} -> y { pathRoot = pathRoot x } function
255 [] -> Just (y { pathRoot = Nothing, pathDirectories = dirs }) function
262 (Nothing, []) -> Just (y { pathRoot = Nothing, pathDirectories = dirs }) function
308 r -> [empty { pathRoot = r }] function
|
| /dports/lang/elm/compiler-0.19.1/_cabal_deps/snap-core-1.0.4.1/test/Snap/Util/FileUploads/ |
| H A D | Tests.hs | 96 let Just (a1, a2, a3) = Map.lookup "file1.txt" fileMap function
97 let Just (b1, b2, b3) = Map.lookup "file2.gif" fileMap function
314 let Just (a1, a2, a3) = Map.lookup "file1.txt" fileMap function
315 let Just (b1, b2, b3) = Map.lookup "file2.gif" fileMap function
519 let r = fileUploadExceptionReason e function
545 let r = fileUploadExceptionReason e function
568 let r = fileUploadExceptionReason e function
|
| /dports/devel/stack/stack-2.7.3/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/games/hs-scroll/scroll-1.20180421/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/finance/hs-hledger/hledger-1.19/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/devel/hs-spago/spago-0.20.3/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/colour-2.3.6/Data/Colour/ |
| H A D | RGB.hs | 103 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
114 Just o = elemIndex mx [r,g,b] function
|
| /dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/devel/hs-hasktags/hasktags-0.72.0/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|
| /dports/devel/hs-git-brunch/git-brunch-1.5.1.0/_cabal_deps/colour-2.3.5/Data/Colour/ |
| H A D | RGB.hs | 104 hslsv (RGB r g b) | mx == mn = (0,0,mx,0 ,mx) function
115 Just o = elemIndex mx [r,g,b] function
|