IxMonadTrans IxStateT | |

MonadError e m => MonadError e (IxStateT m i i) | |

MonadReader r m => MonadReader r (IxStateT m i i) | |

Monad m => MonadState i (IxStateT m i i) | |

MonadWriter w m => MonadWriter w (IxStateT m i i) | |

MonadFix m => IxMonadFix (IxStateT m) | |

Monad m => IxMonad (IxStateT m) | |

MonadPlus m => IxMonadZero (IxStateT m) | |

MonadPlus m => IxMonadPlus (IxStateT m) | |

Monad m => IxFunctor (IxStateT m) | |

Monad m => IxApplicative (IxStateT m) | |

Monad m => IxPointed (IxStateT m) | |

Monad m => IxMonadState (IxStateT m) | |

Monad m => Bifunctor (IxStateT m i) | |

Monad m => Monad (IxStateT m i i) | |

Monad m => Functor (IxStateT m i j) | |

MonadFix m => MonadFix (IxStateT m i i) | |

Monad m => Applicative (IxStateT m i i) | |

MonadIO m => MonadIO (IxStateT m i i) | |

MonadCont m => MonadCont (IxStateT m i i) | |