Searched refs:mkNm (Results 1 – 2 of 2) sorted by relevance
701 … SArray <$> newSArr st (aknd, bknd) (mkNm mbNm) (unSBV <$> mbVal)702 where mkNm Nothing t = "array_" ++ show t function703 mkNm (Just nm) _ = nm function751 … SFunArray <$> newSFunArr st (aknd, bknd) (mkNm mbNm) (unSBV <$> mbVal)752 where mkNm Nothing t = "funArray_" ++ show t function753 mkNm (Just nm) _ = nm function
978 newSArr st ainfo mkNm mbDef = do986 nm = mkNm (unArrayIndex i)1230 newSFunArr st (ak, bk) mkNm mbDef = do1235 nm = mkNm (unFArrayIndex j)