W3cubDocs

/Haskell 8

GHC.GHCi

Copyright (c) The University of Glasgow 2012
License see libraries/base/LICENSE
Maintainer [email protected]
Stability internal
Portability non-portable (GHC Extensions)
Safe Haskell None
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 IO

Since: base-4.4.0.0
Instance details

Defined in GHC.GHCi

Methods

ghciStepIO :: IO a -> IO a Source

GHCiSandboxIO NoIO

Since: base-4.4.0.0
Instance details

Defined in GHC.GHCi

Methods

ghciStepIO :: NoIO a -> IO a Source

data NoIO a Source

A monad that doesn't allow any IO.

Instances
Instances details
Monad NoIO

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

Functor NoIO

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

Applicative NoIO

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

GHCiSandboxIO NoIO

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/8.8.3/docs/html/libraries/base-4.13.0.0/GHC-GHCi.html