Skip to content

HORIZON HASKELL Docs lts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

ModuleBNFC-2.9.5Haskell2010

BNFC.Backend.Haskell.CFtoAbstract

1 type
3 values

PackageBNFC-2.9.5
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.