Safe Haskell | Safe |
---|---|
Language | Haskell98 |
- data Fail
- data ConversionError
- type LogFailures a = Writer [Fail] a
- warn :: Fail -> LogFailures ()
- run :: LogFailures a -> (a, [Fail])
Documentation
Why can't rates be inferred?
FailCannotConvert ConversionError | The function couldn't be converted to combinator form |
FailConstraintFilteredLessFiltered Name Name | The constraint would require a buffer. User must expicitly buffer. |
FailConstraintFilteredNotUnique Name Name | The constraint would require a buffer. User must expicitly buffer. |
data ConversionError Source #
Why couldn't it be converted to CNF?
FailNotANormalForm | Function is not in a-normal form |
FailNamesNotUnique | Bindings must be unique |
FailNoDeBruijnAllowed | Bindings must be named |
FailNoAnonAllowed | Bindings cannot be anonymous _. |
FailRecursiveBindings | Function contains letrec |
FailLetRegionNotHandled | Function contains letregion |
type LogFailures a = Writer [Fail] a Source #
warn :: Fail -> LogFailures () Source #
run :: LogFailures a -> (a, [Fail]) Source #