idMonad
Value members
Inherited methods
Filter l
according to an applicative predicate.
Filter l
according to an applicative predicate.
- Inherited from
- Applicative
Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.
Execute an action repeatedly until its result satisfies the given predicate and return that result, discarding all others.
- Inherited from
- Monad
Returns the given argument if cond
is false
, otherwise, unit lifted into F.
Returns the given argument if cond
is false
, otherwise, unit lifted into F.
- Inherited from
- Applicative
Returns the given argument if cond
is true
, otherwise, unit lifted into F.
Returns the given argument if cond
is true
, otherwise, unit lifted into F.
- Inherited from
- Applicative