Skip to content

Instantly share code, notes, and snippets.

@markhibberd
Forked from tonymorris/gist:3216669
Created July 31, 2012 12:22
Show Gist options
  • Save markhibberd/3216675 to your computer and use it in GitHub Desktop.
Save markhibberd/3216675 to your computer and use it in GitHub Desktop.
import Data.Text
import Control.Monad.Reader
data ZResult a =
ZVal a
| ZNotFound
| ZFail Text
| ZUnauth Text
newtype ZResultT m a = ZResultT {
runZResultT :: m (ZResult a)
}
newtype Mth m a = Mth ReaderT String m a
type MthX = Mth (ZResultT IO)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment