flix

0.54.0

MonadZero

trait MonadZero[m: Type -> Type] with Monad[m]Source

A trait for Monads that have a zero element.

Instances

instance MonadZero[Chain]Source
instance MonadZero[DelayList]Source
instance MonadZero[List]Source
instance MonadZero[Option]Source
instance MonadZero[Vector]Source

Signatures

def empty(): m[t] with MonadZero[m] Source

Returns the zero element of the monad.