until -package:numeric-prelude -package:base-prelude -package:distribution-opensuse -package:extra -package:dimensional -package:xmonad-contrib package:sparse-linear-algebra -is:exact -is:exact -is:exact

untilConvergedG :: (Normed v, MonadThrow m, MonadIO m, Typeable (Magnitude v), Typeable s, Show s) => String -> IterationConfig s v -> (v -> Bool) -> (s -> s) -> s -> m s
sparse-linear-algebra Numeric.LinearAlgebra.Sparse
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 :: (Normed v, MonadThrow m, MonadIO m, Typeable (Magnitude v), Typeable s, Show s) => String -> IterationConfig s v -> v -> (s -> s) -> s -> m s
sparse-linear-algebra Numeric.LinearAlgebra.Sparse
untilConvergedG0 is a special case of untilConvergedG that assesses convergence based on the L2 distance to a known solution xKnown
untilConvergedGM :: (Normed v, MonadThrow m, MonadIO m, Typeable (Magnitude v), Typeable s, Show s) => String -> IterationConfig s v -> (v -> Bool) -> (s -> m s) -> s -> m s
sparse-linear-algebra Numeric.LinearAlgebra.Sparse
", monadic version
modifyUntil :: MonadState s m => (s -> Bool) -> (s -> s) -> m s
sparse-linear-algebra Numeric.LinearAlgebra.Sparse
modifyUntilM :: MonadState s m => (s -> Bool) -> (s -> m s) -> m s
sparse-linear-algebra Numeric.LinearAlgebra.Sparse