:: List a -> List a -is:exact

Reverse the list.

Get all elements of the list but the first one.

Get all elements but the last one.

Get all elements but the last one, producing the results in reverse order.

Remove the last element from a list if there is one, otherwise return Nil.

Reverse a 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.

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.

O(n) Yield the argument but force it not to retain any extra memory, possibly 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

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.