dzen-dhall-1.0.2: Configure dzen2 bars in Dhall language

Safe Haskell	None
Language	Haskell2010

DzenDhall.Validation

Description

Functions for `config.dhall` validation.

Synopsis

type ParseErrors = ParseErrorBundle String Void
data Error
- = InvalidAutomatonAddress ParseErrors Text
- | BinaryNotInPath Text Text
- | AssertionFailure Text Text
- | InvalidColor ParseErrors Text
- | InvalidHook
run :: [Token] -> IO ([Error], [Token])
filterOutAssertions :: [Token] -> [Token]
validate :: [Token] -> [Error]
checkAssertions :: [Token] -> IO [Error]
getError :: Parsec Void String Text -> String -> Maybe (ParseErrorBundle String Void)
report :: [Error] -> Text

Documentation

type ParseErrors = ParseErrorBundle String Void Source #

data Error Source #

Constructors

InvalidAutomatonAddress ParseErrors Text
BinaryNotInPath Text Text
AssertionFailure Text Text
InvalidColor ParseErrors Text
InvalidHook

run :: [Token] -> IO ([Error], [Token]) Source #

filterOutAssertions :: [Token] -> [Token] Source #

validate :: [Token] -> [Error] Source #

checkAssertions :: [Token] -> IO [Error] Source #

getError :: Parsec Void String Text -> String -> Maybe (ParseErrorBundle String Void) Source #

Check if the input is parseable by the parser.

report :: [Error] -> Text Source #

Pretty-print errors.