| Copyright | (c) Galois Inc, 2015 |
|---|---|
| License | Apache-2 |
| Maintainer | jhendrix@galois.com, lcasburn@galois.com |
| Safe Haskell | Trustworthy |
| Language | Haskell98 |
Language.Lean.Options
Description
Operations for Lean options
- data Options
- emptyOptions :: Options
- joinOptions :: Options -> Options -> Options
- nullOptions :: Options -> Bool
- containsOption :: Options -> Name -> Bool
- boolOption :: Name -> Simple Lens Options Bool
- doubleOption :: Name -> Simple Lens Options Double
- intOption :: Name -> Simple Lens Options Int32
- uintOption :: Name -> Simple Lens Options Word32
- stringOption :: Name -> Simple Lens Options String
Documentation
A set of Lean configuration options
emptyOptions :: Options Source
An empty set of options
joinOptions :: Options -> Options -> Options Source
Combine two options where the assignments from the second argument override the assignments from the first.
nullOptions :: Options -> Bool Source
Returns true if options are empty.
containsOption :: Options -> Name -> Bool Source
Indicate whether name is set in the lean options.
boolOption :: Name -> Simple Lens Options Bool Source
Access the lean option with the given name as a Boolean.
doubleOption :: Name -> Simple Lens Options Double Source
Access the lean option with the given name as a floating point value.
intOption :: Name -> Simple Lens Options Int32 Source
Access the lean option with the given name as a signed integer.