| Copyright | (c) Galois Inc, 2015 |
|---|---|
| License | Apache-2 |
| Maintainer | jhendrix@galois.com, lcasburn@galois.com |
| Safe Haskell | Trustworthy |
| Language | Haskell98 |
Language.Lean.Internal.Options
Contents
Description
Internal declarations for Lean options and typeclass instances
for Options type.
- data Options
- emptyOptions :: Options
- joinOptions :: Options -> Options -> Options
- type OptionsPtr = Ptr Options
- type OutOptionsPtr = Ptr OptionsPtr
- withOptions :: Options -> (Ptr Options -> IO a) -> IO a
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.
Low level FFI interfaces.
type OptionsPtr = Ptr Options Source
Haskell type for lean_options FFI parameters.
type OutOptionsPtr = Ptr OptionsPtr Source
Haskell type for lean_options* FFI parameters.