Agda-2.6.4: A dependently typed functional programming language and proof assistant
Safe HaskellSafe-Inferred
LanguageHaskell2010

Agda.Auto.Options

Synopsis

Documentation

data Mode Source #

Constructors

MNormal Bool Bool 
MCaseSplit 
MRefine Bool 

type Hints = [String] Source #

newtype TimeOut Source #

Constructors

TimeOut 

Fields

Instances

Instances details
Show TimeOut Source # 
Instance details

Defined in Agda.Auto.Options

Methods

showsPrec :: Int -> TimeOut -> ShowS

show :: TimeOut -> String

showList :: [TimeOut] -> ShowS

data AutoOptions Source #

Options for Auto, default value and lenses

data AutoToken Source #

Tokenising the input (makes parseArgs cleaner)

Constructors

M 
C 
R 
D 
L 
T String 
S Int 
H String 

autoTokens :: [String] -> [AutoToken] Source #

parseTime :: String -> Int Source #