Control.Monad.Graph

Documentation

class GApplicative m => GMonad m where

Graph indexed monad.

Minimal complete definition

gbind

Associated Types

type Bind m (i :: p) (j :: p) :: p

The apply operation (>>=) on the graph index.

Default instance: Bind m i j = Combine m i j

type BindInv m (i :: p) (j :: p) :: Constraint

An invariant on the indexes of Bind.

Default instance: BindInv m i j = Inv m i j

type Join m (i :: p) (j :: p) :: p

The join operation (join) on the graph index.

Default instance: Join m i j = Bind m i j

type JoinInv m (i :: p) (j :: p) :: Constraint

An invariant on the indexes of Join.

Default instance: JoinInv m i j = BindInv m i j

Methods

gbind :: BindInv m i j => m i a -> (a -> m j b) -> m (Bind m i j) b

Sequentially compose two actions, with the second dependent on the first.

gjoin :: JoinInv m i j => m i (m j b) -> m (Join m i j) b

Remove one level of nested structure.

Default implementation requires the default instance of Join.

gjoin :: (Bind m i j ~ Join m i j, BindInv m i j) => m i (m j b) -> m (Join m i j) b

Remove one level of nested structure.

Default implementation requires the default instance of Join.

Instances

Monad m => GMonad * (GWrapped m)

Associated Types

type Bind (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

type BindInv (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: Constraint

type Join (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: p

type JoinInv (GWrapped m) (m :: GWrapped m -> * -> *) (i :: GWrapped m) (j :: GWrapped m) :: Constraint

Methods

gbind :: BindInv (GWrapped m) m i j => m i a -> (a -> m j b) -> m (Bind (GWrapped m) m i j) b

gjoin :: JoinInv (GWrapped m) m i j => m i (m j b) -> m (Join (GWrapped m) m i j) b

IxMonad * m => GMonad (*, *) (WrappedIx m)

Associated Types

type Bind (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: p

type BindInv (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: Constraint

type Join (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: p

type JoinInv (WrappedIx m) (m :: WrappedIx m -> * -> *) (i :: WrappedIx m) (j :: WrappedIx m) :: Constraint

Methods

gbind :: BindInv (WrappedIx m) m i j => m i a -> (a -> m j b) -> m (Bind (WrappedIx m) m i j) b

gjoin :: JoinInv (WrappedIx m) m i j => m i (m j b) -> m (Join (WrappedIx m) m i j) b