traq
Safe HaskellSafe-Inferred
LanguageHaskell2010

Traq.Examples.MatrixSearch

Documentation

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