idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.CmdOptions

Description

 
Synopsis

Documentation

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

getClient :: Opt -> Maybe String #

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

getPkgCheck :: Opt -> Maybe String #

getPkgClean :: Opt -> Maybe String #

getPkgMkDoc #

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 #

getPkgTest #

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test

getPort :: [Opt] -> Maybe REPLPort #

getIBCSubDir :: Opt -> Maybe String #

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