Hoogle Search
Within LTS Haskell 24.38 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
captureMaybe :: CaptureID -> Match a -> Maybe (Capture a)regex Text.RE.Replace look up the nth capture, 0 being the match of the whole RE against the source text, 1, the first bracketed sub-expression to be matched and so on, returning Nothing if there is no such capture, or if the capture failed to capture anything (being in a failed alternate)
captureTextMaybe :: CaptureID -> Match a -> Maybe aregex Text.RE.Replace look up the text of the nth capture (0 being the match of the whole), returning Nothing if the Match doesn't contain the capture
-
sbv Data.SBV No documentation available.
-
sbv Data.SBV Symbolic Maybe
isMaybe :: HasKind a => a -> Boolsbv Data.SBV No documentation available.
sMaybe :: SymVal a => String -> Symbolic (SMaybe a)sbv Data.SBV Declare a named SMaybe. NB. For a version which generalizes over the underlying monad, see sMaybe
sMaybe_ :: SymVal a => Symbolic (SMaybe a)sbv Data.SBV Declare an unnamed SMaybe. NB. For a version which generalizes over the underlying monad, see sMaybe_
sMaybes :: SymVal a => [String] -> Symbolic [SMaybe a]sbv Data.SBV Declare a list of SMaybe values. NB. For a version which generalizes over the underlying monad, see sMaybes
-
sbv Data.SBV.Dynamic Maybe
-
sbv Data.SBV.Dynamic No documentation available.