| Safe Haskell | None |
|---|
DDC.Core.Flow.Transform.Rates.Fail
- data Fail
- type LogFailures a = Writer [Fail] a
- warn :: Fail -> LogFailures ()
- run :: LogFailures a -> (a, [Fail])
Documentation
Why can't rates be inferred?
Constructors
| FailNotANormalForm | Function is not in a-normal form |
| FailNamesNotUnique | Bindings must be unique |
| FailNoDeBruijnAllowed | Bindings must be named |
| FailRecursiveBindings | Function contains letrec |
| FailLetRegionNotHandled | Function contains letregion |
| 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. |
type LogFailures a = Writer [Fail] aSource
warn :: Fail -> LogFailures ()Source
run :: LogFailures a -> (a, [Fail])Source