LambdaOptions

Documentation

type Keyword = String

type OptionCallback m f = (Monad m, GetOpaqueParsers f, WrapCallback m f)

data Options m a

Instances

MonadTrans Options

Monad m => Monad (Options m)

Functor m => Functor (Options m)

(Monad m, Functor m) => Applicative (Options m)

MonadIO m => MonadIO (Options m)

data OptionsError

Instances

Show OptionsError

addOption :: forall m f. OptionCallback m f => Keyword -> f -> Options m ()

runOptions :: Monad m => Options m a -> [String] -> m (Maybe OptionsError)