GHC.Core.TyCon.RecWalk

ghc-lib-parser-9.10.1.20250103: The GHC API, decoupled from GHC versions

Safe Haskell | Ignore
Language | GHC2021

GHC.Core.TyCon.RecWalk

Contents

- Recursion breaking

Synopsis

- data RecTcChecker
- initRecTc :: RecTcChecker
- defaultRecTcMaxBound :: Int
- setRecTcMaxBound :: Int -> RecTcChecker -> RecTcChecker
- checkRecTc :: RecTcChecker -> TyCon -> Maybe RecTcChecker

# Recursion breaking

data RecTcChecker #

#### Instances

Instances details

Outputable RecTcChecker # |
Instance details Defined in GHC.Core.TyCon.RecWalk Methods ppr :: RecTcChecker -> SDoc #

initRecTc :: RecTcChecker #

Initialise a `RecTcChecker` with `defaultRecTcMaxBound`.

defaultRecTcMaxBound :: Int #

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 #