| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Auto.Options
Synopsis
- data Mode
- data AutoHintMode
- type Hints = [String]
- newtype TimeOut = TimeOut {
- getTimeOut :: Int
- data AutoOptions = AutoOptions {
- autoHints :: Hints
- autoTimeOut :: TimeOut
- autoPick :: Int
- autoMode :: Mode
- autoHintMode :: AutoHintMode
- initAutoOptions :: AutoOptions
- aoHints :: Lens' AutoOptions Hints
- aoTimeOut :: Lens' AutoOptions TimeOut
- aoPick :: Lens' AutoOptions Int
- aoMode :: Lens' AutoOptions Mode
- aoHintMode :: Lens' AutoOptions AutoHintMode
- data AutoToken
- autoTokens :: [String] -> [AutoToken]
- parseTime :: String -> Int
- parseArgs :: String -> AutoOptions
Documentation
data AutoHintMode Source #
Constructors
| TimeOut | |
Fields
| |
data AutoOptions Source #
Options for Auto, default value and lenses
Constructors
| AutoOptions | |
Fields
| |
Tokenising the input (makes parseArgs cleaner)
autoTokens :: [String] -> [AutoToken] Source #
parseArgs :: String -> AutoOptions Source #