Safe Haskell | None |
---|
- newtype Mon ctx dom m a where
- desugarMonad :: (MONAD m :<: dom, Monad m, Typeable1 m, Typeable a, Sat ctx a) => Mon ctx dom m (ASTF (HODomain ctx dom) a) -> ASTF (HODomain ctx dom) (m a)
- sugarMonad :: (MONAD m :<: dom, Monad m, Typeable1 m, Typeable a, Sat ctx a) => ASTF (HODomain ctx dom) (m a) -> Mon ctx dom m (ASTF (HODomain ctx dom) a)
Documentation
newtype Mon ctx dom m a whereSource
User interface to embedded monadic programs