Docs4dev
Docs
haskell / 9 / libraries / base-4.17.0.0 / ghc-ghci.html

GHC.GHCi

Copyright (c) The University of Glasgow 2012
License see libraries/base/LICENSE
Maintainer cvs-ghc@haskell.org
Stability internal
Portability non-portable (GHC Extensions)
Safe Haskell Safe-Inferred
Language Haskell2010

Description

Warning: This is an unstable interface.

The GHCi Monad lifting interface.

EXPERIMENTAL! DON'T USE.

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

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.4.2/docs/libraries/base-4.17.0.0/GHC-GHCi.html