:: [a] -package:numeric-prelude
Epsilon, the empty word (or list)
(ε) = []
(U+3B5, GREEK SMALL LETTER EPSILON)
Look up the previous accumulation
runAccum w look = return (w, w)
runAccum w (look >>= continuation) = runAccum w (continuation w)
Fail the current branch, and prevent backtracking within the nearest
enclosing
call (if any).
Contrast with
empty, which fails the current branch but allows
backtracking.
cutfail >>= k = cutfail
cutfail <|> m = cutfail
Retrieve the environment value.
runReader a (ask >>= k) = runReader a (k a)
Get the current state value.
runState a (get >>= k) = runState a (k a)
A version of
auto that "just works" with type inference, if the
predicate is a type constructor.
Lifted version of
exitFailure.
>>> exitFailure
*** Exception: ExitFailure 1
Lifted version of
exitSuccess.
>>> exitSuccess
*** Exception: ExitSuccess
Lifted version of "System.Exit.exitFailure".
@since 0.1.9.0.
Lifted version of "System.Exit.exitSuccess".
@since 0.1.9.0.
Use this function when the daemon should terminate normally. It logs a
message, and exits with status 0.
Throws a
Pending exception, which will cause the test to be
marked as pending.
This global constant is an infinite list of prime numbers. It is
generated by a lazy wheel sieve and shared across the whole program
run. If you are concerned about the memory requirements of sharing
many primes you can call the function wheelSieve directly.
equalFuncList Comb.factorial Comb.factorials 1000