HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

ModuleAgda-2.8.0.2Haskell2010

Agda.Interaction.Monad

Synopsis
  • PackageAgda-2.8.0.2
  • Exports3
  • LanguageHaskell2010
  • LicenceMIT
  • SourceMonad.hs
newtypenewtype IM a
Source#

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