SpiseMisu.ParserCombinator 0.11.7

SpiseMisu.ParserCombinator

Efficient CharStream parser-combinator in F#

Demo

(* This construct is for ML compatibility. The syntax '(typ,...,typ) ident'
   is not used in F# code. Consider using 'ident<typ,...,typ>' instead. *)
#nowarn "62"

#r "nuget: SpiseMisu.ParserCombinator, 00.11.07"

#time "on"

open System

open SpiseMisu.Parser
open SpiseMisu.Parser.Converters
open SpiseMisu.Parser.Combinator

module rec FooBar =
  
  type t =
    | Foo of t seq
    | Bar of int
  
  let foobarP () =
        barP
    <|> fooP
  
  let barP =
    ( Chars.toInt >> Bar
    )
    <!> numsP
  
  let foobarsP =
    sepBy
      ( defer foobarP )
      ( manyP spaceP *> charP ',' <* manyP spaceP )
  
  let fooP =
    ( Foo
    )
    <!> charP '[' *> manyP spaceP *> foobarsP <* manyP spaceP <* charP ']'

open FooBar

let _ =
  
  "[\t00, [ \n1337,2     , 42]     ]"
  
  (* Should be parsed as:
     > Foo (seq [Bar 0; Foo (seq [Bar 1337; Bar 2; Bar 42])])
  *)
  
  |> run (defer foobarP)
  |> function
    | Ok    a -> printfn "# Parse:\n%A" a
    | Error e -> printfn "# Error:\n%s" e
  
  0

NOTE: The demo script is available at: ./demo/foobar.fsx.