traq
Safe HaskellSafe-Inferred
LanguageHaskell2010

Traq.Examples.MatrixSearch

Documentation

mkMatrixExample :: forall ext sizeT. (sizeT ~ SizeType ext, Num sizeT) => (VarType sizeT -> PartialFun -> Expr ext) -> sizeT -> sizeT -> Program ext #