GHC.GHCi

base-4.14.3.0: Basic libraries

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 | None
Language | Haskell2010

GHC.GHCi

Description

Warning: This is an unstable interface.

The GHCi Monad lifting interface.

EXPERIMENTAL! DON'T USE.

Synopsis

- class Monad m => GHCiSandboxIO m where
  - ghciStepIO :: m a -> IO a
- data NoIO a

# 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 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 #