GHC.GHCi

Warning: This is an unstable interface.

The GHCi Monad lifting interface.

EXPERIMENTAL! DON'T USE.

Documentation

class Monad m => GHCiSandboxIO m where

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

Instances

GHCiSandboxIO IO

Since: 4.4.0.0

Defined in GHC.GHCi

Methods

ghciStepIO :: IO a -> IO a

GHCiSandboxIO NoIO

Since: 4.4.0.0

Defined in GHC.GHCi

Methods

ghciStepIO :: NoIO a -> IO a

data NoIO a

A monad that doesn't allow any IO.

Instances

Monad NoIO

Since: 4.4.0.0

Defined in GHC.GHCi

Methods

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

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

return :: a -> NoIO a

Functor NoIO

Since: 4.8.0.0

Defined in GHC.GHCi

Methods

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

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

Applicative NoIO

Since: 4.8.0.0

Defined in GHC.GHCi

Methods

pure :: a -> NoIO a

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

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

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

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

GHCiSandboxIO NoIO

Since: 4.4.0.0

Defined in GHC.GHCi

Methods

ghciStepIO :: NoIO a -> IO a