ghc-9.6.3: The GHC API

Safe Haskell | Safe-Inferred
Language | Haskell2010

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 Source #

#### Instances

Instances details

Outputable RecTcChecker Source # |
Instance details 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 #