graphted-0.1.0.1: Graph indexed monads.

Copyright(c) Aaron Friel
LicenseBSD-3
MaintainerAaron Friel <mayreply@aaronfriel.com>
Stabilityunstable
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Control.MonadZero.Graph

Description

 

Documentation

class GMonad m => GMonadZero m where Source #

Minimal complete definition

gzero

Associated Types

type Zero m :: p Source #

Methods

gzero :: m (Zero m) a Source #

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 #