Home
last modified time | relevance | path

Searched defs:splitLast (Results 1 – 25 of 37) sorted by relevance

12

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/Parser/
H A DUnlit.hs64 splitLast [] = panic "Cryptol.Parser.Unlit.toCryptol" [ "splitLast []" ] function
65 splitLast [x] = ([], x) function
66 splitLast (x : xs) = let (ys,y) = splitLast xs function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/lib-internal/Text/Pandoc/CrossRef/Util/
H A DCodeBlockCaptions.hs57 splitLast xs' = splitAt (length xs' - 1) xs' function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/utility-ht-0.0.16/src/Data/List/HT/
H A DPrivate.hs462 splitLast [] = error "splitLast: empty list" function
463 splitLast [x] = ([], x) function
464 splitLast (x:xs) = function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/heredoc-0.2.0.0/src/Text/
H A DHeredoc.hs118 splitLast xs = case reverse xs of function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/heredoc-0.2.0.0/src/Text/
H A DHeredoc.hs118 splitLast xs = case reverse xs of function
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/src/ShellCheck/Formatter/
H A DDiff.hs189 splitLast [] = ([], []) function
190 splitLast x = function
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/utility-ht-0.0.15/src/Data/List/HT/
H A DPrivate.hs422 splitLast [] = error "splitLast: empty list" function
423 splitLast [x] = ([], x) function
424 splitLast (x:xs) = function
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/utility-ht-0.0.15/src/Data/List/HT/
H A DPrivate.hs422 splitLast [] = error "splitLast: empty list" function
423 splitLast [x] = ([], x) function
424 splitLast (x:xs) = function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/utility-ht-0.0.15/src/Data/List/HT/
H A DPrivate.hs422 splitLast [] = error "splitLast: empty list" function
423 splitLast [x] = ([], x) function
424 splitLast (x:xs) = function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/utility-ht-0.0.15/src/Data/List/HT/
H A DPrivate.hs422 splitLast [] = error "splitLast: empty list" function
423 splitLast [x] = ([], x) function
424 splitLast (x:xs) = function
/dports/devel/functionalplus/FunctionalPlus-0.2.18-p0/api_search/frontend/src/
H A DTypeSignature.elm36 splitLast xs = function
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/Sugar/TypeClasses/
H A DDeriving.hs477 splitLast [] = [] function
478 splitLast [x] = [(x, True)] function
479 splitLast (x : xs) = (x, False) : splitLast xs function
/dports/comms/hamlib/hamlib-4.3.1/src/
H A Dnetwork.c435 split_t split, splitLast = -1; in multicast_server() local
/dports/lang/polyml/polyml-5.8.2/mlsource/MLCompiler/CodeTree/
H A DCODETREE_FUNCTIONS.sml434 fun splitLast _ [] = raise InternalError "decSequenceWithFinalExp: empty" function
H A DCODETREE_STATIC_LINK_AND_CASES.sml418 fun splitLast _ [] = raise InternalError "decSequenceWithFinalExp: empty" function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/monoid-subclasses-1.1/src/Data/Monoid/
H A DFactorial.hs350 where splitLast f last@[_] = (f [], last) function
351 splitLast f ~(x:rest) = splitLast (f . (x:)) rest function
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/network-uri-2.6.3.0/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/devel/stack/stack-2.7.3/_cabal_deps/network-uri-2.6.4.1/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/network-uri-2.6.4.1/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/network-uri-2.6.3.0/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/network-uri-2.6.4.1/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/network-uri-2.6.3.0/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/network-uri-2.6.3.0/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/network-uri-2.6.3.0/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/network-uri-2.6.4.1/Network/
H A DURI.hs1209 splitLast p = (reverse revpath,reverse revname) function

12