| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Traq.Examples.MatrixSearch
Documentation
mkMatrixExample :: forall ext size. (size ~ SizeType ext, Num size) => (VarType size -> PartialFun -> Expr ext) -> size -> size -> Program ext #
matrixExampleS :: SizeT -> SizeT -> Program (DefaultPrims SizeT prec) #