pocketberserker / fsattoparsec

A port of Bryan O'Sullivan's attoparsec from Haskell to F#

#FsAttoparsec

FsAttoparsec is a port of Attoparsec and scala-attoparsec.

fsattoparsec's Issues

入力のpositionを返すパーサーが欲しい

fparsecのgetPositionみたいなパーサー。
http://www.quanttec.com/fparsec/reference/charparsers.html#members.getPosition

バイナリをパースし、特定の要素を置き換える(例えば0x00で)処理を書きたい。そのためには位置を取得できる必要がある。

とりあえずはBinaryParserに対してあれば良いです。

token parser support

Documents

Progress?

Hi there,

I would be great to have a high-performance binary parser in F#. Are you considering maintaining and moving forward with this project?

tuple2 function and .>>. operator

val tuple2<'a, 'b, 'c>: Parser<'a, 'b> -> Parser<'a, 'c> -> Parser<'a, 'b * 'c>
let inline (.>>.) p1 p2 = tuple2 p1 p2

Parser<'T, 'V> -> ('T -> 'U) -> Parser<'U, 'V>

パースに失敗する

実装

let ba xs = Array.map byte xs
let ``-`` = bytes (ba [| '-' |])

let boundary b =
  let parser = bytes b
  (``-`` >>. ``-`` >>. parser) <|> parser
  |>> ignore

テスト

  [<TestCase("abc", "--abc", true)>]
  [<TestCase("abc", "abc", true)>]
  [<TestCase("abc", "--", false)>]
  [<TestCase("abc", "abC", false)>]
  [<TestCase("abc", "bac", false)>]
  [<TestCase("abc", "---abc", false)>]
  [<TestCase("--abc", "----abc", true)>]
  [<TestCase("--abc", "--abc", true)>]
  [<TestCase("--abc", "---abc", false)>]
  let boundaryをparseできる(b: string, input: string, expected: bool) =
    let actual =
      match parse (boundary (ba b)) (ba input) with
      | Done _ -> true
      | _ -> false
    actual |> should equal expected

"--abc" "--abc"のパターンが失敗する。
実装で選択の順番を入れ替えるとparser <|> (``-`` >>. ``-`` >>. parser) 成功する。

benchmark