Ribosome.Plugin.TH.Command

Documentation

data CmdParamType

Constructors

PrimParam

DataParam

ListParam

Instances

Eq CmdParamType

Defined in Ribosome.Plugin.TH.Command

Methods

(==) :: CmdParamType -> CmdParamType -> Bool

(/=) :: CmdParamType -> CmdParamType -> Bool

Show CmdParamType

Defined in Ribosome.Plugin.TH.Command

Methods

showsPrec :: Int -> CmdParamType -> ShowS

show :: CmdParamType -> String

showList :: [CmdParamType] -> ShowS

data CmdParams

Constructors

ZeroParams

OneParam Bool CmdParamType

OnlyPrims Int

DataPlus Int

Instances

Eq CmdParams

Defined in Ribosome.Plugin.TH.Command

Methods

(==) :: CmdParams -> CmdParams -> Bool

(/=) :: CmdParams -> CmdParams -> Bool

Show CmdParams

Defined in Ribosome.Plugin.TH.Command

Methods

showsPrec :: Int -> CmdParams -> ShowS

show :: CmdParams -> String

showList :: [CmdParams] -> ShowS

data HandlerParams

Constructors

HandlerParams

Fields

• handlerHasArgsParam :: Bool
• handlerCmdParams :: CmdParams

Instances

Eq HandlerParams

Defined in Ribosome.Plugin.TH.Command

Methods

(==) :: HandlerParams -> HandlerParams -> Bool

(/=) :: HandlerParams -> HandlerParams -> Bool

Show HandlerParams

Defined in Ribosome.Plugin.TH.Command

Methods

showsPrec :: Int -> HandlerParams -> ShowS

show :: HandlerParams -> String

showList :: [HandlerParams] -> ShowS

colon :: Name

colonE :: ExpQ

colonP :: PatQ

cmdArgsCase :: Name -> [Name] -> Q Match

decodeJson :: FromJSON a => [Object] -> Either Err a

primDispatch :: [MatchQ] -> String -> Name -> Name -> Name -> [Name] -> Bool -> ExpQ

primDispatchStrict :: String -> Name -> Name -> Name -> [Name] -> Bool -> ExpQ

primDispatchMaybe :: String -> Name -> Name -> Name -> [Name] -> Bool -> ExpQ

primDispatchList :: String -> Name -> Name -> Name -> [Name] -> Bool -> ExpQ

jsonDispatch :: Name -> Name -> Name -> [Name] -> Bool -> ExpQ

primArgPattern :: [Name] -> PatQ

jsonArgPattern :: [Name] -> Name -> PatQ

newtype ArgNormalizer m

Constructors

ArgNormalizer (Text -> [Object] -> m (Object, [Object]))

shapeError :: Text -> m a

normalizeArgsFlat :: Monad m => ArgNormalizer m

normalizeArgsPlus :: Monad m => ArgNormalizer m

normalizeArgs :: CmdParams -> ExpQ

rpc :: Monad m => MsgpackEncode a => Text -> ArgNormalizer m -> (Object -> [Object] -> Either Err (m a)) -> [Object] -> m Object

invalidArgCount :: String -> m a

command :: String -> Name -> [Name] -> HandlerParams -> PatQ -> (Name -> Name -> [Name] -> Bool -> ExpQ) -> ExpQ

primCommand :: String -> Name -> [Name] -> HandlerParams -> Bool -> Bool -> ExpQ

jsonCommand :: String -> Name -> [Name] -> HandlerParams -> Bool -> ExpQ

commandImplementation :: String -> Name -> HandlerParams -> ExpQ

isRecord :: Info -> Bool

isJsonDecodable :: Type -> Q Bool

isList :: Type -> Bool

isMaybeType :: Name -> Q Bool

analyzeMaybeCmdParam :: Type -> Q (Bool, Type)

analyzeCmdParams :: [Type] -> Q CmdParams

cmdNargs :: CmdParams -> CommandOption

amendSync :: Synchronous -> [CommandOption] -> [CommandOption]

rpcCommand :: String -> Name -> HandlerParams -> Synchronous -> [CommandOption] -> ExpQ

removeArgsParam :: [Type] -> Q (Bool, [Type])

handlerParams :: Name -> Q HandlerParams