Home
last modified time | relevance | path

Searched defs:listToMaybe (Results 1 – 24 of 24) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Utils/Maybe/
H A DStrict.hs100 listToMaybe [] = Nothing function
101 listToMaybe (a:_) = Just a function
/dports/lang/purescript/purescript-0.14.5/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/finance/hs-hledger-ui/hledger-ui-1.19/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/strict-0.4/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-spago/spago-0.20.3/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-hlint/hlint-3.3.4/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-darcs/darcs-2.16.4/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-hls-install/haskell-language-server-1.4.0/install/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/www/hs-yesod-bin/yesod-bin-1.6.1/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/www/hs-wai-app-static/wai-app-static-3.1.7.2/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/www/hs-postgrest/postgrest-8.0.0/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/devel/stack/stack-2.7.3/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/strict-0.4/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/textproc/hs-pandoc/pandoc-2.14.2/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/textproc/hs-pandoc-crossref/pandoc-crossref-0.3.12.0/_cabal_deps/strict-0.4.0.1/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/strict-0.4/src/Data/Strict/
H A DMaybe.hs131 listToMaybe [] = Nothing function
132 listToMaybe (a:_) = Just a function
/dports/lang/ghc/ghc-8.10.7/libraries/base/Data/
H A DMaybe.hs233 listToMaybe = foldr (const . Just) Nothing function
/dports/lang/ghc/ghc-8.10.7/libraries/containers/containers/src/Data/Sequence/
H A DInternal.hs4041 listToMaybe' = foldr (\ x _ -> Just x) Nothing function
/dports/lang/ghc/ghc-8.10.7/libraries/containers/containers-tests/src/Data/Sequence/
H A DInternal.hs4041 listToMaybe' = foldr (\ x _ -> Just x) Nothing function
/dports/lang/elm/compiler-0.19.1/_cabal_deps/containers-0.5.11.0/Data/Sequence/
H A DInternal.hs3557 listToMaybe' = foldr (\ x _ -> Just x) Nothing function