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.MonadPlus.Graph

Description

 

Documentation

class GMonadZero m => GMonadPlus m where Source #

Minimal complete definition

gplus

Associated Types

type Plus m (i :: p) (j :: p) :: p Source #

Methods

gplus :: m i a -> m j a -> m (Plus m i j) a Source #

Instances

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

Associated Types

type Plus (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p Source #

Methods

gplus :: m i a -> m j a -> m (Plus (GWrapped m) m i j) a Source #