IxMonadTrans IxStateT |

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

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

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

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

Monad m => IxPointed (IxStateT m) |

Monad m => IxFunctor (IxStateT m) |

Monad m => IxApplicative (IxStateT m) |

Monad m => IxMonad (IxStateT m) |

MonadPlus m => IxMonadZero (IxStateT m) |

MonadPlus m => IxMonadPlus (IxStateT m) |

MonadFix m => IxMonadFix (IxStateT m) |

Monad m => IxMonadState (IxStateT m) |

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

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

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

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) |