DDC.Core.Flow.Transform.Thread

Definition for the thread transform.

Documentation

threadConfig :: Config () Name

Thread config defines what state token to use, and what functions need to have it threaded though them.

wrapResultType :: Type Name -> Type Name

Wrap the result type of a stateful computation with the state type.

wrapResultExp

Arguments

:: Exp (AnTEC () Name) Name

World expression

-> Exp (AnTEC () Name) Name

Result expression

-> Exp () Name

Wrap the result of a stateful computation with the state token.

unwrapResult :: Name -> Maybe (Bind Name -> [Bind Name] -> Pat Name)

Make a pattern to unwrap the result of a stateful computation.

threadType :: Name -> Type Name -> Maybe (Type Name)

Get the new type for a stateful primop. The new types have a World# token threaded though them, which make them suitable for applying the Thread transform when converting a Core Flow program to a language that needs such state threading (like GHC Core).