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

Language | Haskell2010 |

## Synopsis

- type TraceMaybe a = MaybeT (Writer (Last a))
- withTrace :: Monad m => Maybe a -> MaybeT m a
- attempt :: a -> TraceMaybe a ()
- runTrace :: e -> TraceMaybe e a -> Either e a

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

Language | Haskell2010 |

- type TraceMaybe a = MaybeT (Writer (Last a))
- withTrace :: Monad m => Maybe a -> MaybeT m a
- attempt :: a -> TraceMaybe a ()
- runTrace :: e -> TraceMaybe e a -> Either e a