ADP.Fusion.TH

The functions in here auto-create suitable algebra product functions from a signature. Currently, functions <** are supported which have scalar results in the first variable.

TODO If we want to support classified DP, we shall also need **< generating vector-results given a vector result, followed by a scalar result.

TODO Then we also need *** handling the case of vector-to-vector results.

TODO note the comments in buildBacktrackingChoice

Documentation

makeAlgebraProduct :: Name -> Q [Dec]

(<||) :: ProductBacktracking sigF sigB => sigF -> sigB -> SigBacktracking sigF sigB

(***) :: ProductCombining sigF sigB => sigF -> sigB -> SigCombining sigF sigB