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.
class (Null coll, Singleton el coll) =>
CMaybe el coll | coll -> elAgda Agda.Utils.Singleton Create-only collection with at most one element.
cMaybe :: CMaybe el coll => Maybe el -> collAgda Agda.Utils.Singleton No documentation available.
caseMaybe :: Maybe a -> b -> (a -> b) -> bBNFC BNFC.Utils Rotation of maybe.
fromStringMaybe :: String -> Maybe BigDecimalHasBigDecimal Data.BigDecimal read a BigDecimal from a human readable decimal notation. e.g. fromString "3.14" yields 'BigDecimal 314 2'
-
LPFP LPFP.SimpleVec No documentation available.
NumericalStatusMaybe :: NumericalStatusShellCheck ShellCheck.CFGAnalysis No documentation available.
variableMayBeAssignedInteger :: ProgramState -> String -> Maybe BoolShellCheck ShellCheck.CFGAnalysis No documentation available.
variableMayBeDeclaredInteger :: ProgramState -> String -> Maybe BoolShellCheck ShellCheck.CFGAnalysis No documentation available.
parseMaybe :: Decoder a -> Value -> Maybe aaeson-combinators Data.Aeson.Combinators.Decode readMaybeECG :: Int -> String -> Maybe EncodedCnstrsaftovolio Aftovolio.ConstraintsEncoded Inspired by the: https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Maybe.html Is provided here as a more general way to read the String into a EncodedCnstrs. It is up to user to check whether the parameters are in the correct form, the function does not do the full checking.