| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
GHC.Core.TyCon.RecWalk
Contents
Synopsis
- data RecTcChecker
- initRecTc :: RecTcChecker
- defaultRecTcMaxBound :: Int
- setRecTcMaxBound :: Int -> RecTcChecker -> RecTcChecker
- checkRecTc :: RecTcChecker -> TyCon -> Maybe RecTcChecker
Recursion breaking
data RecTcChecker Source #
Instances
| Outputable RecTcChecker Source # | |
| Defined in GHC.Core.TyCon.RecWalk Methods ppr :: RecTcChecker -> SDoc Source # | |
initRecTc :: RecTcChecker Source #
Initialise a RecTcChecker with defaultRecTcMaxBound.
defaultRecTcMaxBound :: Int Source #
The default upper bound (100) for the number of times a RecTcChecker is
 allowed to encounter each TyCon.
setRecTcMaxBound :: Int -> RecTcChecker -> RecTcChecker Source #
Change the upper bound for the number of times a RecTcChecker is allowed
 to encounter each TyCon.
checkRecTc :: RecTcChecker -> TyCon -> Maybe RecTcChecker Source #