| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Core.Flow.Transform.Rates.Fail
- 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?
Constructors
| 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?
Constructors
| 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 |
Instances
type LogFailures a = Writer [Fail] a Source
warn :: Fail -> LogFailures () Source
run :: LogFailures a -> (a, [Fail]) Source