BNFC3-3.0: A compiler front-end generator.

Safe Haskell	None
Language	Haskell2010

BNFC.Backend.Agda.Options

Documentation

data AgdaBackendOptions Source #

Constructors

AgdaOpts
Fields nameSpace :: Maybe String inDir :: Bool functor :: Bool generic :: Bool

agdaOptionsParser :: Parser AgdaBackendOptions Source #

printAgdaOptions :: AgdaBackendOptions -> String Source #