Documentation

unlabeldVarP :: KnownNat n => proxy n -> Text -> VariableParser n Source #

labeledVarP :: forall list. Sing (list :: [Symbol]) -> VariableParser (Length list) Source #

polynomialP :: IsOrderedPolynomial poly => Parser (Coefficient poly) -> VariableParser (Arity poly) -> Parser poly Source #

rationalP :: Field k => Parser k Source #

integerP :: Parser Integer Source #

parsePolynomialWith :: IsOrderedPolynomial poly => Parser (Coefficient poly) -> VariableParser (Arity poly) -> Text -> Either String poly Source #

type Parser = Parsec Void Text Source #

type VariableParser n = Parser (Ordinal n) Source #