Home
last modified time | relevance | path

Searched refs:fromJust (Results 1 – 25 of 1742) sorted by relevance

12345678910>>...70

/dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/monad-memo-0.5.3/Data/MaybeLike/
H A DInstances.hs44 fromJust = M.fromJust function
54 fromJust v = v function
64 fromJust v = v function
74 fromJust v = v function
84 fromJust v = v function
94 fromJust v = v function
104 fromJust v = v function
115 fromJust v = v function
125 fromJust v = v function
155 fromJust v = v function
[all …]
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/converters/hs-aeson-pretty/aeson-pretty-0.8.8/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/finance/hs-hledger/hledger-1.19/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/devel/hs-hpack/hpack-0.34.4/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/devel/hs-profiteur/profiteur-0.4.6.0/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/devel/hs-hoogle/hoogle-5.0.18.2/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/www/hs-DAV/DAV-1.3.4/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/devel/hs-ghcprofview/ghcprofview-0.1.0.1/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/net-im/matterhorn/matterhorn-50200.13.0/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/textproc/hs-yaml/yaml-0.11.5.0/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/x11/conlecterm/conlecterm-1.4.3.0/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/textproc/cgrep/cgrep-6.6.32/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/x11/hs-xmobar/xmobar-0.39/_cabal_deps/uuid-types-1.0.3/tests/
H A DBenchUUID.hs9 import Data.Maybe (fromJust)
27 nil2 = fromJust $
29 u2a = fromJust $ U.fromString "169a5a43-c051-4a16-98f4-08447ddd5dc0"
30 u2b = fromJust $ U.fromByteString $
33 u3 = fromJust $ U.fromString "dea6f619-1038-438b-b4af-f1cdec1e6e23"
65 = map (fromJust . U.fromString)
/dports/lang/ghc/ghc-8.10.7/libraries/base/tests/
H A DfromJust.stderr1 fromJust.hs: Maybe.fromJust: Nothing
4 fromJust, called at fromJust.hs:9:8 in main:Main
/dports/finance/hs-hledger-web/hledger-web-1.19/_cabal_deps/yesod-core-1.6.18/src/Yesod/Core/
H A DTypeCache.hs48 res = lookup (typeOf $ fromJust res) cache >>= fromDynamic
49 fromJust :: Maybe a -> a
50 fromJust = error "Yesod.Handler.cached.fromJust: Argument to typeOf was evaluated" function
88 res = lookup (typeOf $ fromJust res, key) c >>= fromDynamic
89 fromJust :: Maybe a -> a
90 fromJust = error "Yesod.Handler.cached.fromJust: Argument to typeOf was evaluated" function
/dports/devel/hs-git-annex/git-annex-8.20210903/_cabal_deps/yesod-core-1.6.18/src/Yesod/Core/
H A DTypeCache.hs48 res = lookup (typeOf $ fromJust res) cache >>= fromDynamic
49 fromJust :: Maybe a -> a
50 fromJust = error "Yesod.Handler.cached.fromJust: Argument to typeOf was evaluated" function
88 res = lookup (typeOf $ fromJust res, key) c >>= fromDynamic
89 fromJust :: Maybe a -> a
90 fromJust = error "Yesod.Handler.cached.fromJust: Argument to typeOf was evaluated" function
/dports/games/hedgewars-server/hedgewars-src-1.0.0/gameServer/
H A DHWProtoLobbyState.hs79 let jRI = fromJust maybeRI
89 filter (\t -> teamowner t == nick cl) . teamsAtStart . fromJust $ gameInfo jRoom
115 …++ [ModifyRoom (\r -> let (t', g') = moveTeams clTeamsNames . fromJust $ gameInfo r in r{gameInfo …
116 … ++ [AnswerClients [sendChan cl] ["CLIENT_FLAGS", "+h", nick $ fromJust owner] | isJust owner]
137 …answerFullConfig cl jRoom = let f r g = (if isJust $ gameInfo jRoom then g . fromJust . gameInfo e…
140 …answerTeams cl jRoom = let f = if isJust $ gameInfo jRoom then teamsAtStart . fromJust . gameInfo …
148 …ndChan cl] $ "EM" : toEngineMsg "e$spectate 1" : (reverse . roundMsgs . fromJust . gameInfo $ jRoo…
159 let ri = clientRoom rnc $ fromJust ci
184 return [KickClient $ fromJust kickId | isJust kickId && fromJust kickId /= ci]
190 …return [BanClient (readInt_ duration) reason (fromJust banId) | isJust banId && fromJust banId /= …
/dports/games/hedgewars/hedgewars-src-1.0.0/gameServer/
H A DHWProtoLobbyState.hs79 let jRI = fromJust maybeRI
89 filter (\t -> teamowner t == nick cl) . teamsAtStart . fromJust $ gameInfo jRoom
115 …++ [ModifyRoom (\r -> let (t', g') = moveTeams clTeamsNames . fromJust $ gameInfo r in r{gameInfo …
116 … ++ [AnswerClients [sendChan cl] ["CLIENT_FLAGS", "+h", nick $ fromJust owner] | isJust owner]
137 …answerFullConfig cl jRoom = let f r g = (if isJust $ gameInfo jRoom then g . fromJust . gameInfo e…
140 …answerTeams cl jRoom = let f = if isJust $ gameInfo jRoom then teamsAtStart . fromJust . gameInfo …
148 …ndChan cl] $ "EM" : toEngineMsg "e$spectate 1" : (reverse . roundMsgs . fromJust . gameInfo $ jRoo…
159 let ri = clientRoom rnc $ fromJust ci
184 return [KickClient $ fromJust kickId | isJust kickId && fromJust kickId /= ci]
190 …return [BanClient (readInt_ duration) reason (fromJust banId) | isJust banId && fromJust banId /= …
/dports/math/hs-Agda/Agda-2.6.2/_cabal_deps/strict-0.3.2/Data/Strict/
H A DMaybe.hs25 , fromJust
51 fromJust :: Maybe a -> a
52 fromJust Nothing = error "Data.Strict.Maybe.fromJust: Nothing" function
53 fromJust (Just x) = x function
/dports/deskutils/hs-arbtt/arbtt-0.10.2/_cabal_deps/strict-0.3.2/Data/Strict/
H A DMaybe.hs25 , fromJust
51 fromJust :: Maybe a -> a
52 fromJust Nothing = error "Data.Strict.Maybe.fromJust: Nothing" function
53 fromJust (Just x) = x function

12345678910>>...70