Safe Haskell	None
Language	Haskell2010

Agda.Interaction.Options.Default

Contents

Description

Default values for the options.

Documentation

Orphan instances

Null CommandLineOptions Source #
Instance details Methods empty :: CommandLineOptions Source # null :: CommandLineOptions -> Bool Source #
Null PragmaOptions Source #
Instance details Methods empty :: PragmaOptions Source # null :: PragmaOptions -> Bool Source #