Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Agda.Termination.CutOff
Description
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.
Synopsis
- data CutOff
- = CutOff Int
- | DontCutOff
Documentation
Cut off structural order comparison at some depth in termination checker?
Constructors
CutOff Int |
|
DontCutOff |
Instances
Eq CutOff Source # | |
Ord CutOff Source # | |
Show CutOff Source # | |
EmbPrj CutOff Source # | |