DDC.Core.Flow.Convert.Base

Documentation

type ConvertM x = CheckM (Set Name, Set Name) Error x

Conversion Monad State contains * names of function that have been converted to Suspended computations. whenever these are called, we need to add a "run" cast. * names of rate XLAMs that have been removed. any reference to these must also be removed.

data Error

Things that can go wrong during the conversion.

Constructors

ErrorInvalidBinder Name

An invalid name used in a binding position

ErrorPartialPrimitive Name

A partially applied primitive, such as Series

ErrorNotSupported Name

Something we can't convert, like "runKernel0#", but that shouldn't be created

ErrorUnexpectedSum

Found an unexpected type sum.

Instances

Pretty Error

Associated Types

data PrettyMode Error :: *

Methods

pprDefaultMode :: PrettyMode Error

ppr :: Error -> Doc

pprPrec :: Int -> Error -> Doc

pprModePrec :: PrettyMode Error -> Int -> Error -> Doc

withRateXLAM :: Bind Name -> ConvertM a -> ConvertM a

isRateXLAM :: Name -> ConvertM Bool

withSuspFns :: [Bind Name] -> ConvertM a -> ConvertM a

isSuspFn :: Name -> ConvertM Bool