Conformance

A conforming monad transformer to compute a result according to a spec.

RFC 2119 describes these terms:

1. MUST and MUST NOT: These describe absolute requirements or absolute prohibitions. However, some implementations still do not adhere to these. Some of those situations are fixable, and some are not.

If the situation is fixable, we error with an error of type ue.

If the situation is fixable, we can either error out (a strict implementation) with an error of type fe or apply the fix. The fe parameter represents fixable errors, which can either be emitted as warnings, or errored on. A predicate (fe -> Bool) decides whether to fix the error. (The predicate returns True if the fixable error is to be fixed.) 2. SHOULD and SHOULD NOT: These describe weaker requirements or prohibitions. The w parameter represents warnings to represent cases where requirements or prohibitions were violated.

Most flexible way to run a ConformT

Don't fix any fixable errors.

This is standard-compliant.

Don't fix any fixable errors, and don't allow any warnings either

This is standard-compliant, but potentially more strict than necessary.

Fix as much as possible

That this is not standard-compliant.

Most flexible way to run a Conform

Don't fix any fixable errors.

This is standard-compliant

Don't fix any fixable errors, and don't allow any warnings either

This is standard-compliant, but potentially more strict than necessary.

Fix as much as possible

That this is not standard-compliant.

Try to run a conform function, return Nothing if there were unfixable errors or unfixed fixable errors.