ADPfusion- Efficient, high-level dynamic programming.

Safe HaskellNone



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


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

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