idris-1.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

Idris.CmdOptions

Description

 

Synopsis

Documentation

opt :: (Opt -> Maybe a) -> [Opt] -> [a] 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

getPkgTest Source #

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test