:: List a -> List a -package:vector

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.
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.
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.
Run an action by previously reseting all stats to initial values and printing them afterwards.