MiniAgda
Safe HaskellNone
LanguageHaskell98

Options

Description

Options given to MiniAgda.

Synopsis

Documentation

data Options Source #

Options given to MiniAgda.

Constructors

Options 

Fields

self :: String Source #

options :: IO Options Source #

Parse the options given on the command line.

parseOptions :: [String] -> ParserResult Options Source #

Pure parser for command line given by a list of strings.