Warning: This is an unstable interface.

The GHCi Monad lifting interface.

EXPERIMENTAL! DON'T USE.

Documentation

class Monad m => GHCiSandboxIO m where Source #

A monad that can execute GHCi statements by lifting them out of m into the IO monad. (e.g state monads)

Methods

ghciStepIO :: m a -> IO a Source #

Instances
Instances details
GHCiSandboxIO NoIO Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.GHCi

Methods

ghciStepIO :: NoIO a -> IO a Source #

GHCiSandboxIO IO Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.GHCi

Methods

ghciStepIO :: IO a -> IO a Source #

data NoIO a Source #

A monad that doesn't allow any IO.

Instances
Instances details
Applicative NoIO Source #

Since: base-4.8.0.0

Instance details

Defined in GHC.GHCi

Methods

pure :: a -> NoIO a Source #

(<*>) :: NoIO (a -> b) -> NoIO a -> NoIO b Source #

liftA2 :: (a -> b -> c) -> NoIO a -> NoIO b -> NoIO c Source #

(*>) :: NoIO a -> NoIO b -> NoIO b Source #

(<*) :: NoIO a -> NoIO b -> NoIO a Source #

Functor NoIO Source #

Since: base-4.8.0.0

Instance details

Defined in GHC.GHCi

Methods

fmap :: (a -> b) -> NoIO a -> NoIO b Source #

(<$) :: a -> NoIO b -> NoIO a Source #

Monad NoIO Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.GHCi

Methods

(>>=) :: NoIO a -> (a -> NoIO b) -> NoIO b Source #

(>>) :: NoIO a -> NoIO b -> NoIO b Source #

return :: a -> NoIO a Source #

GHCiSandboxIO NoIO Source #

Since: base-4.4.0.0

Instance details

Defined in GHC.GHCi

Methods

ghciStepIO :: NoIO a -> IO a Source #