Hoogle Search

Within LTS Haskell 23.24 (ghc-9.8.4)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. withDefault :: ArrowList a => a b c -> c -> a b c

    hxt Control.Arrow.ArrowList

    converts an arrow, that may fail, into an arrow that always succeeds example: withDefault none "abc" is equivalent to constA "abc"

  2. withDefault :: OpenMode mode => BlockMode -> (T mode -> IO a) -> IO a

    alsa-seq Sound.ALSA.Sequencer

    No documentation available.

  3. withDefault :: JiraPrinter a -> a

    jira-wiki-markup Text.Jira.Printer

    Run with default state.

  4. withDefault :: Show a => a -> Parser a -> Parser a

    opt-env-conf OptEnvConf

    Give a parser a default value. This is morally equal to (| pure a) but will give you better documentation of the default value in many cases. This does nothing if the parser already has a default value.

  5. withDefault :: Show a => a -> Parser a -> Parser a

    opt-env-conf OptEnvConf.Parser

    Give a parser a default value. This is morally equal to (| pure a) but will give you better documentation of the default value in many cases. This does nothing if the parser already has a default value.

  6. withDefault :: Validator e inp a -> a -> Validator e (Maybe inp) a

    valida Valida.Combinators

    Build a validator that runs given validator only if input is Just. Yields default value otherwise. Yields Success when input is Nothing, and wrapped around the default value. 

    vald `withDefault` deflt = fromMaybe deflt <$> optionally vald

    Examples

    >>> runValidator (failureIf even "Even" `withDefault` 0) (Just 5)
Success 5

>>> runValidator (failureIf even "Even" `withDefault` 0) (Just 6)
Failure ("Even" :| [])

>>> runValidator (failureIf even "Even" `withDefault` 0) Nothing
Success 0

  7. module Agda.Utils.WithDefault

    Potentially uninitialised Booleans. The motivation for this small library is to distinguish between a boolean option with a default value and an option which has been set to what happens to be the default value. In one case the default can be overriden (e.g. --cubical implies --without-K) while in the other case the user has made a mistake which they need to fix.

  8. type WithDefault (b :: Bool) = WithDefault' Bool b

    Agda Agda.Utils.WithDefault

    No documentation available.

  9. withDefaultBaseURI :: String -> SysConfig

    hxt Text.XML.HXT.Arrow.XmlState

    withDefaultBaseURI URI , input option, set the default base URI This option can be useful when parsing documents from stdin or contained in a string, and interpreting relative URIs within the document

  10. withDefaultBaseURI :: String -> SysConfig

    hxt Text.XML.HXT.Arrow.XmlState.SystemConfig

    withDefaultBaseURI URI , input option, set the default base URI This option can be useful when parsing documents from stdin or contained in a string, and interpreting relative URIs within the document

Page 1 of many | Next