Телеграмм чат группы Fsharp

нет

11:01пожаловаться #1

let dfProp = parser |>> (fun str node -> DfProp str node)

11:02пожаловаться #2

более конкретно:
let dfProp = returnString "common" (fun str node -> DFProp(str, node))

11:03пожаловаться #3

ну, там наоборот

11:04пожаловаться #4

let dfProp = nodeParser (fun node str -> DFProp(str, node))

11:05пожаловаться #5

вот так

11:05пожаловаться #6

вот примеры того что распарсить:

abcd: "xxx"
dbca {
   aaa: 1
   bbb {
   }
}

abcd и dcba это common

11:06пожаловаться #7

ща

11:06пожаловаться #8

вот короче весь мой код нынешний)

    let dfProperty =
        manyCharsTill (noneOf <| seq { '{'; '}'; ' ' }) (skipString ": ") .>>. dfLiteral .>> spaces
        |>> DFProperty
    
    let dfObject =
        manyCharsTill (noneOf <| seq { ':'; '}'; ' ' }) (skipString " {") .>> spaces .>>. (many dfNode) .>> (skipString "}") .>> spaces
        |>> DFObject

    do dfNodeRef := choice [
        attempt dfProperty
        attempt dfObject
    ]

11:10пожаловаться #9

let ident = identifier(IdentifierOptions())

let common =
    ident .>> spaces

let value = 
    between (pstring "") (pstring "") ident 
    |>> fun _ -> Value 

let prop =
    value |>> fun node str -> Prop (str, node "")
    
let obj =
    pchar ':' >>. spaces >>. 
    many (between (pstring "{") (pstring "}") value) .>> spaces 
    |>> fun nodes str -> Obj (str, (nodes |> List.map (fun f -> f "")))

let node: Parser<_, unit> = (pipe2 common (choice [obj; prop; value]) (|>))

11:38пожаловаться #10

вот

11:38пожаловаться #11

правда, не проверял

11:38пожаловаться #12

habib sadullaev

let ident = identifier(IdentifierOptions())

let common =
    ident .>> spaces

let value = 
    between (pstring "") (pstring "") ident 
    |>> fun _ -> Value 

let prop =
    value |>> fun node str -> Prop (str, node "")
    
let obj =
    pchar ':' >>. spaces >>. 
    many (between (pstring "{") (pstring "}") value) .>> spaces 
    |>> fun nodes str -> Obj (str, (nodes |> List.map (fun f -> f "")))

let node: Parser<_, unit> = (pipe2 common (choice [obj; prop; value]) (|>))

спасибо, идея вроде понятна, но не смог сделать чтобы заработало

12:07пожаловаться #13

type DFNode =
    | DFLiteral of string
    | DFProperty of string * DFNode
    | DFObject of string * DFNode list 

let dfNode, dfNodeRef = createParserForwardedToRef()

let ident = identifier(IdentifierOptions())

let dfLiteral =
    between (pchar '"') (pchar '"') ident .>> spaces |>> DFLiteral

let dfProperty =
    pchar ':' >>. spaces1 >>. dfLiteral .>> spaces |>> (fun node str -> DFProperty (str, node))
    
let dfObject =
    between (pchar '{' .>> spaces)  (pchar '}' .>> spaces) (many dfNode)
    |>> (fun node str -> DFObject (str, node))

do dfNodeRef := pipe2 common  (dfProperty <|> dfObject) (|>)

12:10пожаловаться #14

@Lanayx

12:10пожаловаться #15

работает, спасибо) я когда написал что не заработало не смог понять почему валилось, а валилось потому что я оборачивал в _root_ а _ уже невалидный символ для идентификатора

12:18пожаловаться #16

ясно

12:23пожаловаться #17

а то я уже протестил)

12:23пожаловаться #18

вот:

12:23пожаловаться #19

type DFNode =
    | DFLiteral of string
    | DFProperty of string * DFNode
    | DFObject of string * DFNode list

let dfNode, dfNodeRef = createParserForwardedToRef ()

let ident: Parser<_, unit> = identifier (IdentifierOptions())

let dfLiteral =
    between (pchar '"') (pchar '"') ident
    |>> DFLiteral

let dfProperty =
    pchar ':' >>. spaces >>. dfLiteral
    |>> fun node str -> DFProperty(str, node)

let dfObject =
    between (pchar '{' .>> spaces) (spaces >>. pchar '}') (many dfNode)
    |>> fun node str -> DFObject(str, node)

do dfNodeRef := 
    spaces >>. pipe2 (ident .>> spaces) (dfProperty <|> dfObject) (|>) <|> dfLiteral .>> spaces

let test p i =
    match run (p .>> eof) i with
    | Success (v, _, _) -> printfn "%A" v
    | Failure (e, _, _) -> printfn "%s" e

let x1 = "abcd: \"xxx\""

let x2 = """
dbca {
    "xxx"
    "yyy"
}
"""

test dfNode x1
test dfNode x2