HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

ModuleAgda-2.7.0.1Haskell2010

Agda.Interaction.Monad

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

Interaction monad.

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