HORIZON HASKELLDocslts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

ModuleBNFC-2.9.6.3Haskell2010

BNFC.Check.EmptyTypes

Check whether generated AST will have empty types.

Internal rules are included.

We compute by a saturation algorithm which token types are used in which non-terminal. A non-terminal does not use any token types, we flag an empty type.

Synopsis
  • PackageBNFC-2.9.6.3
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceEmptyTypes.hs
valueemptyData :: IsFun f => [Rul f] -> [RCat]

Compute the categories that have empty data type declarations in the abstract syntax. Disregards list types.