GHC.GHCi

Авторские права	(c) Университет Глазго 2012
Лицензия	см. 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 Source	С момента: base-4.4.0.0
Подробности реализации Определено в GHC.Internal.GHCi Методы 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.12.1/docs/libraries/base-4.21.0.0-8e62/GHC-GHCi.html