Like NonLinear.MonadIO but allows to lift both linear
and non-linear IO actions into a linear monad.
Methods
liftIO :: IO a %1 -> m aliftSystemIO :: IO a -> m aliftSystemIOU :: IO a -> m (Ur a)
:: a typeCtrl KGHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27
Modulelinear-base-0.4.0Haskell2010
Like NonLinear.MonadIO but allows to lift both linear
and non-linear IO actions into a linear monad.
liftIO :: IO a %1 -> m aliftSystemIO :: IO a -> m aliftSystemIOU :: IO a -> m (Ur a)