Calamity.Commands.Parser

Something that can parse user input

Documentation

class Typeable a => Parser (a :: Type) r where

Minimal complete definition

parse

Associated Types

type ParserResult a

type ParserResult a = a

Methods

parserName :: Text

default parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult a)

Instances

Parser () r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult ()

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult ())

Parser Text r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult Text

Methods

parserName :: Text0

parse :: Sem (ParserEffs r) (ParserResult Text)

Parser Text r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult Text

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult Text)

Parser Member r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult Member

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult Member)

Member (CacheEff :: (Type -> Type) -> Type -> Type) r => Parser User r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult User

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult User)

Parser a r => Parser [a] r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult [a]

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult [a])

Parser a r => Parser (Maybe a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Maybe a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Maybe a))

(Parser a r, Typeable a) => Parser (NonEmpty a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (NonEmpty a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (NonEmpty a))

Typeable (Snowflake a) => Parser (Snowflake a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake a))

Parser (Snowflake Channel) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake Channel)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake Channel))

Parser (Snowflake Member) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake Member)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake Member))

Parser (Snowflake User) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake User)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake User))

Parser (Snowflake Role) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake Role)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake Role))

Parser (Snowflake Emoji) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Snowflake Emoji)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Snowflake Emoji))

(Monoid (ParserResult a), Parser a r) => Parser (KleenePlusConcat a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleenePlusConcat a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleenePlusConcat a))

Parser (KleenePlusConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleenePlusConcat Text)

Methods

parserName :: Text0

parse :: Sem (ParserEffs r) (ParserResult (KleenePlusConcat Text))

Parser (KleenePlusConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleenePlusConcat Text)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleenePlusConcat Text))

(Monoid (ParserResult a), Parser a r) => Parser (KleeneStarConcat a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleeneStarConcat a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleeneStarConcat a))

Parser (KleeneStarConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleeneStarConcat Text)

Methods

parserName :: Text0

parse :: Sem (ParserEffs r) (ParserResult (KleeneStarConcat Text))

Parser (KleeneStarConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleeneStarConcat Text)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleeneStarConcat Text))

(Parser a r, Parser b r) => Parser (a, b) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (a, b)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (a, b))

(KnownSymbol s, Parser a r) => Parser (Named s a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Named s a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Named s a))

data Named (s :: Symbol) (a :: Type)

A named parameter, used to attach the name s to a type in the command's help output

Instances

(KnownSymbol s, Parser a r) => Parser (Named s a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (Named s a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (Named s a))

type ParserResult (Named s a)

Defined in Calamity.Commands.Parser

type ParserResult (Named s a) = ParserResult a

data KleeneStarConcat (a :: Type)

A parser that consumes zero or more of a then concatenates them together.

KleeneStarConcat Text Is therefore consumes all remaining input.

Instances

(Monoid (ParserResult a), Parser a r) => Parser (KleeneStarConcat a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleeneStarConcat a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleeneStarConcat a))

Parser (KleeneStarConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleeneStarConcat Text)

Methods

parserName :: Text0

parse :: Sem (ParserEffs r) (ParserResult (KleeneStarConcat Text))

Parser (KleeneStarConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleeneStarConcat Text)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleeneStarConcat Text))

type ParserResult (KleeneStarConcat a)

Defined in Calamity.Commands.Parser

type ParserResult (KleeneStarConcat a) = ParserResult a

type ParserResult (KleeneStarConcat Text)

Defined in Calamity.Commands.Parser

type ParserResult (KleeneStarConcat Text) = ParserResult Text

type ParserResult (KleeneStarConcat Text)

Defined in Calamity.Commands.Parser

type ParserResult (KleeneStarConcat Text) = ParserResult Text

data KleenePlusConcat (a :: Type)

A parser that consumes one or more of a then concatenates them together.

KleenePlusConcat Text Is therefore consumes all remaining input.

Instances

(Monoid (ParserResult a), Parser a r) => Parser (KleenePlusConcat a) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleenePlusConcat a)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleenePlusConcat a))

Parser (KleenePlusConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleenePlusConcat Text)

Methods

parserName :: Text0

parse :: Sem (ParserEffs r) (ParserResult (KleenePlusConcat Text))

Parser (KleenePlusConcat Text) r

Defined in Calamity.Commands.Parser

Associated Types

type ParserResult (KleenePlusConcat Text)

Methods

parserName :: Text

parse :: Sem (ParserEffs r) (ParserResult (KleenePlusConcat Text))

type ParserResult (KleenePlusConcat a)

Defined in Calamity.Commands.Parser

type ParserResult (KleenePlusConcat a) = ParserResult a

type ParserResult (KleenePlusConcat Text)

Defined in Calamity.Commands.Parser

type ParserResult (KleenePlusConcat Text) = ParserResult Text

type ParserResult (KleenePlusConcat Text)

Defined in Calamity.Commands.Parser

type ParserResult (KleenePlusConcat Text) = ParserResult Text

runCommandParser :: Context -> Text -> Sem (ParserEffs r) a -> Sem r (Either (Text, Text) a)