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 #
Instances
Outputable RecTcChecker # | |
Defined in GHC.Core.TyCon.RecWalk Methods ppr :: RecTcChecker -> SDoc # |
Initialise a RecTcChecker
with defaultRecTcMaxBound
.
The default upper bound (100) for the number of times a RecTcChecker
is
allowed to encounter each TyCon
.
setRecTcMaxBound :: Int -> RecTcChecker -> RecTcChecker #
Change the upper bound for the number of times a RecTcChecker
is allowed
to encounter each TyCon
.
checkRecTc :: RecTcChecker -> TyCon -> Maybe RecTcChecker #