Safe Haskell | None |
---|
- 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
ConvertSpec | |
|
fromJustConvertSpec :: ConvertSpec Maybe -> ConvertSpec IdentitySource
Convert a possibly-incomplete specification for what to convert into one which can be executed. Calls error when data is missing.
toConvertSpec :: [Argument] -> ConvertSpec MaybeSource