parser-tsの関数
parser-tsの関数の雑メモ
parser-ts本家は説明が少ない
一部、test caseが用意されていない関数があったり
test caseを見ただけじゃわかりにくかったり
docsを読んだだけじゃわかりにくかったり
したので実験場としてのRepoを作った
このrepoと併用してこのノートを見ると良いかも知れない
説明がこのノートと、Repo内のコメントと二重管理になってダルいが、このノートの方を親切に書く
parserを組み立てていくときの気持ち
まず、特定の文字列の消費を成功するようなparserを組み立てる
次に、欲しいデータを返すように改変していく
Parsecとの対応
特に名称が異なるもの
Parsecとの対応
| parset-ts | Parsec |
| either | try |
大きな区分
Alt
Alternative
Apply
Functor
Monad
combinators
Parser同士を組み合わせる
constructors
Parser以外の者からParserを作る
destructors
haskellでいうdo記法内の
let による変数定義ってどうやるの？現状はこんな感じで入れ子でやってるが、もう少しきれいな書き方はできないのか
tsconst link: P.Parser<string, LinkN> = pipe(
bracketStart,
P.map(() => ({ type: 'link' as const, references: [] })),
P.chain(a =>
pipe(
string,
P.map(v => ({ ...a, value: v })),
P.chain(v =>
pipe(
bracketEnd,
P.map(() => v),
),
),
),
),
);再起の仕方
「このparserを繰り返し適用する」
みたいなことはできるのか
行末になるまで、これを繰り返し、をやりたい
P.manyTill(notation, C.char('\n')); とかかなChar
combinators
alphanum
digit
lower
many
many1
notAlphanum
notDigit
notLetter
notLower
notSpace
notUpper
space
upper
constructors
char
notChar
notOneOf
oneOf
model
Char (type alias)
utils
letter
String
combinators
doubleQuotedString
float
int
many
many1
maybe
notSpaces
notSpaces1
spaces
spaces1
constructors
oneOf
string
destructors
fold([...p]) 普通に連結
全ての
...p が、頭から順番に実行される全体でparseした文字列を返す
chainを簡潔に書けるイメージかな
Parser調べたいやつ
Alt
alt★
Alternative
zero
Applicative
of
Apply
ap :: p a -> p (a -> b) -> p b parserの機能としては、
p a と同一視する p a のparseを行って、Rightだったらその結果に a -> b を適用する結果的に
Parser<a, b> な型のparserになるapFirst★
apSecond★
Functor
map
parseの結果を加工する
Monad
chain
chainFirst★
flatten★
combinators
between, surroundedBy
前者は同じ記号
e.g.
|2| 後者は異なる記号
e.g.
(2) cut, cutWith, either
だいたいわかった
eof
end of the stream
expected(
p , errorMsg: string) p と同じ挙動をするただし、失敗した場合は
errorMsg を返す一般ユーザーが使うのかは不明
filter p f 雑にpでparseした後に、その結果を
f でfilteringする感じいつ嬉しいんだろう #??
item
何でも良いので一文字消化
故に引数を取らない
lookAhead p 前方に
p を満たすものがあるかどうかを確認する確認するだけで消費はしない
「確認してなかったときはhogeをする」はどう書けばいい #??
many, many1
繰り返す
many1Till, manyTill
tillに至るまで繰り返す
消費しきったら停止する
takeUntil
many1Tillの述語版
使うことないと思う
maybe
monoidとparserを引数に取る
parserが失敗した場合はmonoidを返す
monoidはempty(default値)を意味する
失敗してもRight
optional
あってもなくてもいい
正規表現で言う「
? 」実際にあったかどうかはOption型で結果を示す
Eitherではなく
sepBy, sepBy1, sepByCut
区切り
リストの中の
, とかに使うseq
複数のparserを連結する
内部のどれか一つでも失敗すれば、全体としても失敗する
最後のparserの値のみを返す
だから、全体の文字列を返すなどしたいときは、何かしら工夫が必要
どうすればいいだろう
引数をうまく使うんだろうけど
foldと異なり、前のparserの値を受け取れる
withStart
pを実行するが、返り値にcursor開始位置を伴う
constructors
fail
何も消費せずに、ただfatal errorを起こす
failAt
sat
charの代わりに述語関数が使える
一文字のみ消化する
C.charを使えばいいのでほぼ使うこと無いのでは？
succeed
何も消費しない
必ず成功する
引数に取った文字列をそのまま返す
P.string の内部で使われている内部では一文字ごとparseするが、そのparser全体としては、一定量の文字列を返却したいときなどに有用
chainと最後で使う感じかな
instances
Alt
Alternative
Applicative
ChainRec
Functor
Monad
URI
URI (type alias)
getMonoid
getSemigroup
parser
model
Parser (interface)
utils
bind
bindTo
エラーの種類が複数あるっぽい
fatal error
cut系のcombinatorで返される
その場でエラーを返し、それ以降の文字列をparseしない
bindToとbind
tsconst statement = (cmd: string) =>
pipe(
whitespaceSurrounded(S.string(cmd)), // ①
P.bindTo('command'), // ②
P.bind('args', () => P.many(whitespaceSurrounded(argument))), // ③
);bindToはpipeの一つ前の結果を、引数のkeyの値にする
上のコードなら①の結果を
"command" の値にするbindは、第1引数のkeyに、第2引数の結果を入れる
上のコードなら
"args" に () => P.many(..) の結果を入れるconstructors
fail
succeed
Parserモナドの
of 全角に対応させる
Monoidの嬉しさ
exampleのやつとか
ネストした括弧をparseしたい
Refinementとは
P.filterに出てきた
Predicateとは
P.filterに出てきた
ユーザー向けに用意されているものと、開発向けに用意されているものの判別が付きづらい
別にこういう分断はないのか？
テストがないものがたまにある
maybeとか
Stream
tsexport interface Stream<A> {
readonly buffer: Array<A>
readonly cursor: number
}よく知らんが、型からあらかた推測できる
テストコードなどで使用する
ParseResult
テストコードなどで使用する ref
success
value
next
start