Returns this Bind
if its value satisfies a predicate,
returns the unit Trap
if its value does not satisfy the predicate,
otherwise returns this Trap
or a tripped exception.
Returns the binding of a function applied to the value of this Bind
,
otherwise returns this Trap
or a tripped exception.
Binds the result of a function applied to the value of this Bind
,
otherwise returns this Trap
or a tripped exception.
Binds the result of a function applied to the value of this Trap
,
if defined, otherwise returns this or a tripped exception.
Returns the binding of a function applied to the value of this Trap
,
if defined, otherwise returns this or a tripped exception.
Returns this Bind
if its value satisfies the predicate,
returns the unit Trap
if its value does not satisfy the predicate,
otherwise returns this Trap
or a tripped exception;
equivalent to filter
.