Open nikita-volkov opened 9 years ago
Having a type, which wraps a -> Result e b and has an Applicative instance, should allow to circumvent the awkward conditions combinator and generally enhance the validation facility. I.e.:
a -> Result e b
conditions
newtype Parser a b = Parser (a -> Result e b)
Having a type, which wraps
a -> Result e band has an Applicative instance, should allow to circumvent the awkwardconditionscombinator and generally enhance the validation facility. I.e.: