:: List a -> List a -package:strict-list

Generalized version of runInBoundThread.

Generalized version of runInUnboundThread.

Generalized version of mask_.

Generalized version of uninterruptibleMask_.

Use subAssert if you want location information for the call site but the function being called does not carry a HasCallStack constraint.

Cull nondeterminism in the argument, returning at most one result.

cull (pure a <|> m) <|> n = pure a <|> n

Delimit the effect of cutfails, allowing backtracking to resume.

call cutfail <|> m = m

Syntax sugar for case_.

Going under a binder.

Annotate credentials with no scope authorization.

O(1) Yield all but the last element without copying. The vector may not be empty.

O(1) Yield all but the first element without copying. The vector may not be empty.

O(1) Yield all but the last element without copying. The vector may not be empty, but this is not checked.

O(1) Yield all but the first element without copying. The vector may not be empty, but this is not checked.

O(n) Yield the argument, but force it not to retain any extra memory, by copying it. This is especially useful when dealing with slices. For example:

force (slice 0 2 <huge vector>)

Here, the slice retains a reference to the huge vector. Forcing it creates a copy of just the elements that belong to the slice and allows the huge vector to be garbage collected.

O(n) Reverse a vector.

Reverse order of elements in the vector

Wrap a MonadIO computation so that it prints out the execution time.

This function, or withStderrLogging, must be wrapped around whatever region of your application intends to use logging. Typically it would be wrapped around the body of main.