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

Description

 

Documentation

class GMonadZero m => GMonadOr m where Source #

Minimal complete definition

gorelse

Associated Types

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

Methods

gorelse :: m i a -> m j a -> m (Or m i j) a Source #

Instances

(Alternative m, MonadPlus m) => GMonadOr * (GWrapped m) Source # 

Associated Types

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

Methods

gorelse :: m i a -> m j a -> m (Or (GWrapped m) m i j) a Source #