until -package:numeric-prelude -package:language-bash -package:base-compat -package:foundation is:exact -package:linear-base -package:distribution-opensuse -package:basic-prelude -package:rebase -package:netwire -package:xmonad-contrib

until :: (a -> Bool) -> (a -> a) -> a -> a
base Prelude GHC.Base, amazonka-core Amazonka.Prelude, hedgehog Hedgehog.Internal.Prelude, protolude Protolude Protolude.Base, base-prelude BasePrelude, classy-prelude ClassyPrelude, Cabal-syntax Distribution.Compat.Prelude, ihaskell IHaskellPrelude, github GitHub.Internal.Prelude, numhask NumHask.Prelude, clash-prelude Clash.HaskellPrelude, ghc-lib-parser GHC.Prelude.Basic, dimensional Numeric.Units.Dimensional.Prelude, elerea FRP.Elerea.Simple.Pure, mixed-types-num Numeric.MixedTypes.PreludeHiding, LambdaHack Game.LambdaHack.Core.Prelude, cabal-install-solver Distribution.Solver.Compat.Prelude, faktory Faktory.Prelude, yesod-paginator Yesod.Paginator.Prelude, hledger-web Hledger.Web.Import, termonad Termonad.Prelude
until p f yields the result of applying f until p holds.
until :: (a -> Bool) -> (a -> a) -> a -> a
ghc GHC.Prelude.Basic
until :: Monad m => (a -> Bool) -> m a -> m a
utility-ht Control.Monad.HT
repeat action until result fulfills condition
until :: () => (a -> Bool) -> (a -> a) -> a -> a
prelude-compat Prelude2010
until p f yields the result of applying f until p holds.
until :: Firstable es es' (ISig s (es :+: es') a r) r' => Sig s es a r -> React s es' r' -> Sig s (es :+: es') a (Either r (a, r'))
moffy Control.Moffy Control.Moffy.NoThreadId
until :: Integral a => a -> Stream Bool -> Stream Bool -> Stream Bool
copilot-libraries Copilot.Library.LTL
until n s0 s1 means that eventually n s1, and up until at least the period before s1 holds, s0 continuously holds. Note: Both argument streams must have sufficient history to drop n values from them.
until :: (Typed a, Integral a) => a -> a -> Stream a -> a -> Stream Bool -> Stream Bool -> Stream Bool
copilot-libraries Copilot.Library.MTL
True until another stream is true, within the time bounds specified. until l u clk dist s0 s1 is true at time t iff there exists a d, with l <= d <= u, such that s1 is true at time (t + d), and for all times t' with t <= t' < t + d, s0 is true at those times.