GHC.GHCi

Авторские права	(c) Университет Глазго, 2012
Лицензия	see libraries/base/LICENSE
Ответственный за поддержку	ghc-devs@haskell.org
Стабильность	внутренний
Переносимость	непереносимый (расширения GHC)
Безопасный Haskell	Нет
Язык	Haskell2010

Описание

Предупреждение: этот интерфейс нестабилен.

Интерфейс подъёма монад GHCi.

ЭКСПЕРИМЕНТАЛЬНО! НЕ ИСПОЛЬЗУЙТЕ.

API этого модуля нестабилен и не предназначен для использования широкой публикой. Если вам всё же необходимо от него зависеть, обязательно укажите строгую верхнюю границу, например base < 4.X вместо base < 5, поскольку интерфейс может быстро меняться без особого предупреждения.

class Monad m => GHCiSandboxIO (m :: Type -> Type) where Исходный код

Монада, способная выполнять инструкции GHCi, поднимая их из m в монаду IO (например, монады состояния).

Методы

ghciStepIO :: m a -> IO a Исходный код

Экземпляры

Подробности экземпляров

GHCiSandboxIO NoIO Исходный код	Начиная с: base-4.4.0.0
Подробности экземпляра Определено в GHC.Internal.GHCi Методы ghciStepIO :: NoIO a -> IO a Исходный код
GHCiSandboxIO IO Исходный код	Начиная с: base-4.4.0.0
Подробности экземпляра Определено в GHC.Internal.GHCi Методы ghciStepIO :: IO a -> IO a Исходный код

data NoIO a Исходный код

Монада, не допускающая ввода-вывода.

Экземпляры

Подробности экземпляров

Applicative NoIO Исходный код	Начиная с: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.GHCi Методы pure :: a -> NoIO a Исходный код (<>) :: NoIO (a -> b) -> NoIO a -> NoIO b Исходный код liftA2 :: (a -> b -> c) -> NoIO a -> NoIO b -> NoIO c Исходный код (>) :: NoIO a -> NoIO b -> NoIO b Исходный код (<*) :: NoIO a -> NoIO b -> NoIO a Исходный код
Functor NoIO Исходный код	Начиная с: base-4.8.0.0
Подробности экземпляра Определено в GHC.Internal.GHCi Методы fmap :: (a -> b) -> NoIO a -> NoIO b Исходный код (<$) :: a -> NoIO b -> NoIO a Исходный код
Monad NoIO Исходный код	Начиная с: base-4.4.0.0
Подробности экземпляра Определено в GHC.Internal.GHCi Методы (>>=) :: NoIO a -> (a -> NoIO b) -> NoIO b Исходный код (>>) :: NoIO a -> NoIO b -> NoIO b Исходный код return :: a -> NoIO a Исходный код
GHCiSandboxIO NoIO Исходный код	Начиная с: base-4.4.0.0
Подробности экземпляра Определено в GHC.Internal.GHCi Методы ghciStepIO :: NoIO a -> IO a Исходный код

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