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.Termination.CutOff

Defines CutOff type which is used in Agda.Interaction.Options. This module's purpose is to eliminate the dependency of Agda.TypeChecking.Monad.Base on the termination checker and everything it imports.

  • 1 type
  • 1 value
  • PackageAgda-2.7.0.1
  • Exports2
  • LanguageHaskell2010
  • LicenceMIT
  • SourceCutOff.hs
datadata CutOff
#

Cut off structural order comparison at some depth in termination checker?

Constructors

Instances5Eq, Ord, Show, NFData, EmbPrj
  • Eq CutOffDefined in Agda-2.7.0.1 · Agda.Termination.CutOff
  • Ord CutOffDefined in Agda-2.7.0.1 · Agda.Termination.CutOff
  • Show CutOffDefined in Agda-2.7.0.1 · Agda.Termination.CutOff
  • NFData CutOffDefined in Agda-2.7.0.1 · Agda.Termination.CutOff
  • EmbPrj CutOffDefined in Agda-2.7.0.1 · Agda.TypeChecking.Serialise.Instances.Errors · orphan