Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x45dd5372026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · 45dd537 · 2026-10-11

ModuleBNFC-2.9.6.3Haskell2010

BNFC.Backend.Haskell.CFtoAbstract

1 type
3 values

PackageBNFC-2.9.6.3
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCFtoAbstract.hs

valuecf2Abstract

:: SharedOptions
-> String
Module name.
-> CF
Grammar.
-> Doc

Create a Haskell module containing data type definitions for the abstract syntax.

datadata DefCfg

Parametrize definedRules so that it can be used for Agda as well.

Constructors

DefCfg
- sanitizeName :: String -> String
- hasType :: String
- arrow :: String
- lambda :: String
- cons :: String
- convTok :: String -> String
- convLitInt :: Exp -> Exp
- polymorphism :: [Base] -> [Base]

valuedefinedRules' :: DefCfg -> Bool -> CF -> [Doc]

Generate Haskell/Agda code for the defined constructors.

valuedefinedRules :: Bool -> CF -> [Doc]

Generate Haskell code for the defined constructors.