Collie.Parser

Definitions

parseCommand : (cmd : Command nm) -> List String -> ParsedCommandT Maybe Maybe nm cmd -> Error (ParsedCommandT Maybe Maybe nm cmd)

Totality: total
Visibility: public export

parseModifier : (cmd : Command nm) -> (pos : IsField modName (cmd .modifiers)) -> List String -> ParsedCommandT Maybe Maybe nm cmd -> (ParsedModifierT id id (snd (field pos)) -> Error (ParsedModifiersT Maybe Maybe (cmd .modifiers))) -> Error (ParsedCommandT Maybe Maybe nm cmd)

Totality: total
Visibility: public export

parse : (cmd : Command nm) -> List String -> Error (ParseTreeT Maybe Maybe cmd)

Totality: total
Visibility: public export