License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.CmdOptions
Description
Synopsis
- opt :: (Opt -> Maybe a) -> [Opt] -> [a]
- getClient :: Opt -> Maybe String
- getPkg :: Opt -> Maybe (Bool, String)
- getPkgCheck :: Opt -> Maybe String
- getPkgClean :: Opt -> Maybe String
- getPkgMkDoc :: Opt -> Maybe (Bool, String)
- getPkgREPL :: Opt -> Maybe String
- getPkgTest :: Opt -> Maybe String
- getPort :: [Opt] -> Maybe REPLPort
- getIBCSubDir :: Opt -> Maybe String
- pureArgParser :: [String] -> [Opt]
- execArgParserPure :: [String] -> ParserResult [Opt]
- runArgParser :: IO [Opt]
Documentation
getPkgCheck :: Opt -> Maybe String Source #
getPkgClean :: Opt -> Maybe String Source #
Arguments
:: Opt | Opt to extract |
-> Maybe (Bool, String) | Result |
Returns None if given an Opt which is not PkgMkDoc Otherwise returns Just x, where x is the contents of PkgMkDoc
getPkgREPL :: Opt -> Maybe String Source #
Arguments
:: Opt | the option to extract |
-> Maybe String | the package file to test |
getIBCSubDir :: Opt -> Maybe String Source #
pureArgParser :: [String] -> [Opt] Source #
execArgParserPure :: [String] -> ParserResult [Opt] Source #
runArgParser :: IO [Opt] Source #