until -package:numeric-prelude -package:util -package:hedgehog -package:yesod-paginator -package:Cabal -package:mixed-types-num -package:dimensional -package:ghc-lib-parser

until p f yields the result of applying f until p holds.
repeat action until result fulfills condition
until p f yields the result of applying f until p holds.
Produce until the given event occurs. When it occurs, inhibit with its value forever.
  • Depends: now until event occurs.
  • Inhibits: forever after event occurs.
until p f yields the result of applying f until p holds.
An until command.
Repeatedly run a computation until it produces a Just value. This can be useful when paired with a monad that has side effects. For example, we may have genId :: IO (Maybe Id) that uses a random number generator to allocate ids, but fails if it finds a collision. We can repeatedly run this with
retract (untilJust genId) :: IO Id
Keep running an operation until it becomes a Just, then return the value inside the Just as the result of the overall loop.
Run the supplied Maybe computation repeatedly until it returns a value. Returns that value.
Execute an action repeatedly until the condition expression returns True. The condition is evaluated after the loop body. Collects results into a list. Parameters are arranged for infix usage. eg. do {...} untilM_ ...
Execute an action repeatedly until the condition expression returns True. The condition is evaluated after the loop body. Collects results into a MonadPlus value. Parameters are arranged for infix usage. eg. do {...} untilM_ ...
Execute an action repeatedly until the condition expression returns True. The condition is evaluated after the loop body. Discards results. Parameters are arranged for infix usage. eg. do {...} untilM_ ...
Deprecated: use M.until
Repeat a
Repeat action until f does not give Nothing when applied to result.
Repeat action until predicate f is True when applied to result.
This utility function run a list of IO actions and returns the first that return a Just, if no one does, returns Nothing
Keep running an effectful computation until it returns a Right value, collecting the Left's using a supplied Monoid instance.
This function makes some default choices on the modifyInspectGuarded machinery: convergence is assessed using the squared L2 distance between consecutive states, and divergence is detected when this function is increasing between pairs of measurements.
untilConvergedG0 is a special case of untilConvergedG that assesses convergence based on the L2 distance to a known solution xKnown
", monadic version