Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

The `StT`

type family.

## Synopsis

- type family StT (t :: (* -> *) -> * -> *) (a :: *) :: *

# Documentation

type family StT (t :: (* -> *) -> * -> *) (a :: *) :: * Source #

Internal state of a monad transformer.
Same as `StT`

from the `monad-control`

package.

## Instances

type StT MaybeT a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT ListT a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (WriterT w) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (AccumT w) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (WriterT w) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (StateT s) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (StateT s) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (IdentityT :: (Type -> Type) -> Type -> Type) a Source # | |

type StT (ExceptT e) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (WriterT w) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (ReaderT r :: (Type -> Type) -> Type -> Type) a Source # | |

type StT (RWST r w s) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (RWST r w s) a Source # | |

Defined in Control.Monad.Trans.Lift.StT | |

type StT (RWST r w s) a Source # | |

Defined in Control.Monad.Trans.Lift.StT |