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

Language | Haskell2010 |

# Documentation

newtype StateReader r a Source #

StateReader (State r a) |

## Instances

MonadReader r (StateReader r) Source # | |

Defined in State ask :: StateReader r r # local :: (r -> r) -> StateReader r a -> StateReader r a # reader :: (r -> a) -> StateReader r a # | |

Monad (StateReader r) Source # | |

Defined in State (>>=) :: StateReader r a -> (a -> StateReader r b) -> StateReader r b # (>>) :: StateReader r a -> StateReader r b -> StateReader r b # return :: a -> StateReader r a # fail :: String -> StateReader r a # | |

Functor (StateReader r) Source # | |

Defined in State fmap :: (a -> b) -> StateReader r a -> StateReader r b # (<$) :: a -> StateReader r b -> StateReader r a # | |

Applicative (StateReader r) Source # | |

Defined in State pure :: a -> StateReader r a # (<*>) :: StateReader r (a -> b) -> StateReader r a -> StateReader r b # liftA2 :: (a -> b -> c) -> StateReader r a -> StateReader r b -> StateReader r c # (*>) :: StateReader r a -> StateReader r b -> StateReader r b # (<*) :: StateReader r a -> StateReader r b -> StateReader r a # |

newtype StateWriter w a Source #

StateWriter (State w a) |