DDC.Core.Flow.Transform.Rates.Fail

Documentation

data Fail

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.

Instances

Eq Fail

Methods

(==) :: Fail -> Fail -> Bool

(/=) :: Fail -> Fail -> Bool

Show Fail

Methods

showsPrec :: Int -> Fail -> ShowS

show :: Fail -> String

showList :: [Fail] -> ShowS

Pretty Fail

Associated Types

data PrettyMode Fail :: *

Methods

pprDefaultMode :: PrettyMode Fail

ppr :: Fail -> Doc

pprPrec :: Int -> Fail -> Doc

pprModePrec :: PrettyMode Fail -> Int -> Fail -> Doc

data ConversionError

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

Eq ConversionError

Methods

(==) :: ConversionError -> ConversionError -> Bool

(/=) :: ConversionError -> ConversionError -> Bool

Show ConversionError

Methods

showsPrec :: Int -> ConversionError -> ShowS

show :: ConversionError -> String

showList :: [ConversionError] -> ShowS

type LogFailures a = Writer [Fail] a

warn :: Fail -> LogFailures ()

run :: LogFailures a -> (a, [Fail])