Moduleghc-internal-10.0.0Haskell2010

GHC.Internal.GHCi

The GHCi Monad lifting interface.

EXPERIMENTAL! DON'T USE.

The API of this module is unstable and not meant to be consumed by the general public. If you absolutely must depend on it, make sure to use a tight upper bound, e.g., base < 4.X rather than base < 5, because the interface can change rapidly without much warning.

Synopsis

class GHCiSandboxIO
newtype NoIO

Packageghc-internal-10.0.0
Exports2
LanguageHaskell2010
LicenceBSD-3-Clause
SourceGHCi.hs

classclass 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

Instances2GHCiSandboxIO

GHCiSandboxIO NoIODefined in ghc-internal-10.0.0 · GHC.Internal.GHCi
GHCiSandboxIO IODefined in ghc-internal-10.0.0 · GHC.Internal.GHCi

newtypenewtype NoIO a

Source#

A monad that doesn't allow any IO.

Instances4Monad, Functor, Applicative, GHCiSandboxIO

Monad NoIODefined in ghc-internal-10.0.0 · GHC.Internal.GHCi
Functor NoIODefined in ghc-internal-10.0.0 · GHC.Internal.GHCi
Applicative NoIODefined in ghc-internal-10.0.0 · GHC.Internal.GHCi
GHCiSandboxIO NoIODefined in ghc-internal-10.0.0 · GHC.Internal.GHCi