base-4.19.2.0: Core data structures and operations
Copyright(c) The University of Glasgow 2012
Licensesee libraries/base/LICENSE
Maintainercvs-ghc@haskell.org
Stabilityinternal
Portabilitynon-portable (GHC Extensions)
Safe HaskellNone
LanguageHaskell2010

GHC.GHCi

Description

Warning: This is an unstable interface.

The GHCi Monad lifting interface.

EXPERIMENTAL! DON'T USE.

Synopsis

Documentation

class Monad m => GHCiSandboxIO (m :: Type -> Type) 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 #