idris-1.3.2: Functional Programming Language with Dependent Types

License	BSD3
Maintainer	The Idris Community.
Safe Haskell	None
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

opt :: (Opt -> Maybe a) -> [Opt] -> [a] Source #

getClient :: Opt -> Maybe String Source #

getPkg :: Opt -> Maybe (Bool, String) Source #

getPkgCheck :: Opt -> Maybe String Source #

getPkgClean :: Opt -> Maybe String Source #

getPkgMkDoc 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 #

getPkgTest Source #

Arguments

:: Opt	the option to extract
-> Maybe String	the package file to test

getPort :: [Opt] -> Maybe REPLPort Source #

getIBCSubDir :: Opt -> Maybe String Source #

pureArgParser :: [String] -> [Opt] Source #

execArgParserPure :: [String] -> ParserResult [Opt] Source #

runArgParser :: IO [Opt] Source #