| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
IHaskell.Convert.Args
Description
Synopsis
- data ConvertSpec f = ConvertSpec {
- convertToIpynb :: f Bool
- convertInput :: f FilePath
- convertOutput :: f FilePath
- convertLhsStyle :: f (LhsStyle Text)
- convertOverwriteFiles :: Bool
- fromJustConvertSpec :: ConvertSpec Maybe -> ConvertSpec Identity
- toConvertSpec :: [Argument] -> ConvertSpec Maybe
Documentation
data ConvertSpec f Source #
ConvertSpec is the accumulator for command line arguments
Constructors
| ConvertSpec | |
Fields
| |
fromJustConvertSpec :: ConvertSpec Maybe -> ConvertSpec Identity Source #
Convert a possibly-incomplete specification for what to convert into one which can be executed. Calls error when data is missing.
toConvertSpec :: [Argument] -> ConvertSpec Maybe Source #