ADPfusion-0.5.2.2: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Core.TH

Description

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

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

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