HORIZON HASKELLDocslts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

ModuleAgda-2.8.0.2Haskell2010

Agda.Interaction.Monad

  • 1 type
  • 2 values
  • PackageAgda-2.8.0.2
  • Exports3
  • LanguageHaskell2010
  • LicenceMIT
  • SourceMonad.hs
newtypenewtype IM a
#

Interaction monad.

Instances11Monad, Functor, Applicative, MonadIO, HasOptions, MonadTCEnv, …
  • Monad IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • Functor IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • Applicative IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • MonadIO IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • HasOptions IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • MonadTCEnv IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • MonadTCM IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • MonadTCState IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • ReadTCState IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • MonadFileId IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad
  • MonadError TCErr IMDefined in Agda-2.8.0.2 · Agda.Interaction.Monad