graphted-0.3.1.0: Graph indexed monads.

Copyright(c) Aaron Friel
LicenseBSD-3
MaintainerAaron Friel <[email protected]>
Stabilityunstable
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Control.MonadZero.Graph

Description

 

Synopsis

Documentation

class GMonad m => GMonadZero m where Source #

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 Source #

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

Methods

gzero :: m (Zero m) a Source #

Identity element.

Instances

MonadPlus m => GMonadZero * (GWrapped m) Source # 

Associated Types

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

Methods

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

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

Associated Types

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

Methods

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