fix: morph
This commit is contained in:
parent
0e048f69a7
commit
fe21a2e7ab
@ -3,6 +3,7 @@ package:
|
||||
- aff
|
||||
- arrays
|
||||
- avar
|
||||
- mmorph
|
||||
- unlift
|
||||
name: sync
|
||||
test:
|
||||
|
@ -6,6 +6,7 @@ import Control.Alt (class Alt)
|
||||
import Control.Alternative (class Alternative, class Plus)
|
||||
import Control.Monad.Error.Class (class MonadError, class MonadThrow, liftEither, try)
|
||||
import Control.Monad.Fork.Class (class MonadBracket, class MonadFork, class MonadKill, bracket, kill, never, uninterruptible)
|
||||
import Control.Monad.Morph (class MFunctor, class MMonad)
|
||||
import Control.Monad.Reader (class MonadAsk, ReaderT(..), ask)
|
||||
import Control.Monad.Rec.Class (class MonadRec)
|
||||
import Control.Monad.Trans.Class (class MonadTrans, lift)
|
||||
@ -267,6 +268,8 @@ newtype AsyncStateT w s m ma = AsyncStateT (ReaderT (w s) m ma)
|
||||
|
||||
derive instance Newtype (AsyncStateT w s m ma) _
|
||||
derive newtype instance MonadTrans (AsyncStateT w s)
|
||||
derive newtype instance MMonad (AsyncStateT w s)
|
||||
derive newtype instance MFunctor (AsyncStateT w s)
|
||||
derive newtype instance (MonadPlus m) => MonadPlus (AsyncStateT w s m)
|
||||
derive newtype instance (Alternative m) => Alternative (AsyncStateT w s m)
|
||||
derive newtype instance (Alt m) => Alt (AsyncStateT w s m)
|
||||
|
Loading…
Reference in New Issue
Block a user