Control.MonadZero.Graph

Documentation

class GMonad m => GMonadZero m where

Graph indexed monad with a monoidal zero.

See the typeclassopedia https://wiki.haskell.org/Typeclassopedia.

Minimal complete definition

gzero

Associated Types

type Zero m :: p

The zero element (mzero, mempty) of the graph index.

Methods

gzero :: m (Zero m) a

Identity element.

Instances

MonadPlus m => GMonadZero * (GWrapped m)

Associated Types

type Zero (GWrapped m) (m :: GWrapped m -> * -> *) :: p

Methods

gzero :: m (Zero (GWrapped m) m) a

IxMonadZero * m => GMonadZero (*, *) (WrappedIx m)

Associated Types

type Zero (WrappedIx m) (m :: WrappedIx m -> * -> *) :: p

Methods

gzero :: m (Zero (WrappedIx m) m) a