Client.Commands.Arguments.Spec

Documentation

type Args r = Ap (Arg r)

simpleToken :: String -> Args r String

remainingArg :: String -> Args r String

optionalArg :: Args r a -> Args r (Maybe a)

tokenList

Arguments

:: [String]

required names

-> [String]

optional names

-> Args r [String]

numberArg :: Args r Int

optionalNumberArg :: Args r (Maybe Int)

extensionArg :: String -> (r -> String -> Maybe (Args r a)) -> Args r a

tokenArg :: String -> (r -> String -> Maybe a) -> Args r a

data ArgumentShape

Constructors

TokenArgument

RemainingArgument

data Arg :: Type -> Type -> Type where

Constructors

Argument :: ArgumentShape -> String -> (r -> String -> Maybe a) -> Arg r a

Optional :: Args r a -> Arg r (Maybe a)

Extension :: String -> (r -> String -> Maybe (Args r a)) -> Arg r a