clckwrks-cli-0.3.0.2: a command-line interface for adminstrating some aspects of clckwrks
Clckwrks.CLI.ProfileData
data UserCmd Source #
Constructors
Defined in Clckwrks.CLI.ProfileData
Methods
(==) :: UserCmd -> UserCmd -> Bool #
(/=) :: UserCmd -> UserCmd -> Bool #
compare :: UserCmd -> UserCmd -> Ordering #
(<) :: UserCmd -> UserCmd -> Bool #
(<=) :: UserCmd -> UserCmd -> Bool #
(>) :: UserCmd -> UserCmd -> Bool #
(>=) :: UserCmd -> UserCmd -> Bool #
max :: UserCmd -> UserCmd -> UserCmd #
min :: UserCmd -> UserCmd -> UserCmd #
readsPrec :: Int -> ReadS UserCmd #
readList :: ReadS [UserCmd] #
readPrec :: ReadPrec UserCmd #
readListPrec :: ReadPrec [UserCmd] #
showsPrec :: Int -> UserCmd -> ShowS #
show :: UserCmd -> String #
showList :: [UserCmd] -> ShowS #
showUserHelp :: [String] Source #
pRole :: Parser Role Source #
pUserId :: Parser UserId Source #
pUserCmd :: Parser UserCmd Source #
execUserCommand :: UserCmd -> ReaderT (AcidState ProfileDataState) IO () Source #
initUserCommand :: FilePath -> IO (UserCmd -> IO ()) Source #
userCLIHandler :: FilePath -> IO CLIHandler Source #