Safe Haskell | None |
---|---|
Language | Haskell2010 |
Declarative options parser
- data Cmd help a
- class IsCmd c
- class Option a where
- data Flag shortNames longNames placeholder help a
- data Arg placeholder a
- class ArgRead a where
- data Def defaultValue a
- data Group = Group {}
- data SubCmd
- subCmd :: IsCmd c => String -> c -> SubCmd
- run :: IsCmd c => String -> Maybe String -> c -> IO ()
- run_ :: IsCmd c => c -> IO ()
Command type
Monad (Cmd help) | |
Functor (Cmd help) | |
Applicative (Cmd help) | |
MonadLogger (Cmd help) | |
MonadLoggerIO (Cmd help) | |
MonadIO (Cmd help) | |
KnownSymbol help => IsCmd (Cmd help ()) |
runCmd
IsCmd Group | |
(KnownSymbol placeholder, IsCmd c) => IsCmd (Arg placeholder [String] -> c) | |
(KnownSymbol placeholder, IsCmd c) => IsCmd (Arg placeholder String -> c) | |
(KnownSymbol shortNames, KnownSymbols longNames, KnownSymbol placeholder, KnownSymbol help, ArgRead a, IsCmd c) => IsCmd (Flag shortNames longNames placeholder help a -> c) | |
KnownSymbol help => IsCmd (Cmd help ()) |
Argument definition tools
data Flag shortNames longNames placeholder help a Source
(KnownSymbol shortNames, KnownSymbols longNames, KnownSymbol placeholder, KnownSymbol help, ArgRead a, IsCmd c) => IsCmd (Flag shortNames longNames placeholder help a -> c) | |
ArgRead a => Option (Flag _a _b _c _d a) | |
type Value (Flag _a _b _c _d a) = Unwrap a |