ATSでライブラリ関数を検索するには？

Question

たとえば、名前に「tabulate」という単語が含まれている関数を見つける必要があるとします。それをどのように検索すればよいですか？

Answer 1

ATSを既にインストールしている場合は、このような処理を行うには 'find'や 'grep'などのツールを使用できます。

ATSのインストールが$ {PATSHOME}にあるとします。

find ${PATSHOME}/prelude -type f | grep -P '.sats$' | xargs grep -iH tabulate 

ライブラリ関数を探すために別の場所は$ {} PATSHOMEです/ libats：次のコマンドラインは、単語「TABULATE」を検索しpreludeディレクトリの下に格納さSATS-ファイルです。

JavaScriptやPythonのようなターゲットにコンパイルするには、$ {PATSCONTRIB}/contrib/libatsccにあるライブラリ関数を探してください。$ {PATSCONTRIB}はATS2-contribのインストールを含むディレクトリの名前です。