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