Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Interaction.Monad
Synopsis
type IM = TCMT (InputT IO)
readline :: String -> IM (Maybe String)
runIM :: IM a -> TCM a
Documentation
type IM = TCMT (InputT IO)Source
Interaction monad.
readline :: String -> IM (Maybe String)Source
Line reader. The line reader history is not stored between sessions.
runIM :: IM a -> TCM aSource
Produced by Haddock version 2.6.1