Repository F# setup

open Reified
open Reified.Refinements
open Reified.Result

DataDSL

Reified.DataDSL provides short names and the => and ?=> operators for data construction and editing.

Without opening Reified.DataDSL

This example declares nested data, omits an optional field, applies an atomic patch, and renders the result without opening Reified.DataDSL:

Verified

open Reified

let nickname : string option = None

let customer =
    Data.data [
        Data.assoc "name" "Ada"
        Data.optionalAssoc "nickname" nickname
        Data.assoc "deletedAt" Data.Null
        Data.assoc "address" (
            Data.data [
                Data.assoc "city" "Adelaide"
                Data.assoc "postcode" 5000
            ])
        Data.assoc "roles" [ "author" ]
    ]

let request =
    customer
    |> Data.patch [
        DataEdit.replace "address.postcode" 5001
        DataEdit.append "roles" "admin"
        DataEdit.remove "deletedAt"
    ]

Data.render request
// => "{ name: \"Ada\", address: { city: \"Adelaide\", postcode: 5001 }, roles: [\"author\", \"admin\"] }"

Reified

nickname: string option

string

An abbreviation for the CLI type . Basic Types

option

The type of optional values. When used from other CLI languages the empty option is the null value. Use the constructors Some and None to create values of this type. Use the values in the Option module to manipulate values of this type, or pattern match against the values directly. 'None' values will appear as the value null to other CLI languages. Instance methods on this type will appear as static methods to other CLI languages due to the use of null as a value representation. Options

None

The representation of "No value"

customer: Data

Reified.DataModule

data: DataField list -> Data

Builds an object from ordered field instructions. Data.data [ Data.assoc "name" "Ada" ] // Data.Object [ "name", Data.Text "Ada" ]

assoc: string -> ^a -> DataField

Associates an object field name with one exact value. Data.assoc "name" "Ada" // one DataField

optionalAssoc: string -> ^value option -> DataField

Associates an object field name with Some value, or omits None. Data.optionalAssoc "nickname" (None: string option) // an omitted DataField

Reified.Data

A portable tree for structured data. Data preserves null, text, number, Boolean, list, and object distinctions without depending on a serializer or input format. Data is a structured-value model, not a source syntax tree. It does not model whitespace, comments, source locations, or other format-specific syntax. Number values currently retain a lexical token so adapters do not narrow arbitrary-size integers, decimal precision, or exponent notation to one runtime numeric type.

Null

A null value.

request: Data

(|>): 'T1 -> ('T1 -> 'U) -> 'U

Apply a function to a value, the value being on the left, the function on the right The argument. The function. The function result. let doubleIt x = x * 2 3 |> doubleIt // Evaluates to 6

patch: DataEdit list -> Data -> Data

Applies edits atomically or raises DataPatchException. Data.data [ Data.assoc "name" "Ada" ] |> Data.patch [ DataEdit.replace "name" "Grace" ] // Data.data [ Data.assoc "name" "Grace" ]

Reified.DataEditModule

replace: string -> ^a -> DataEdit

Describes replacing an existing value. DataEdit.replace "name" "Grace" // one DataEdit

append: string -> ^a -> DataEdit

Describes appending an item to an existing list. DataEdit.append "roles" "admin" // one DataEdit

remove: string -> DataEdit

Describes removing an existing field or list item. DataEdit.remove "obsolete" // one DataEdit

render: Data -> string

Renders structured data in a compact, human-readable form. Data.render (data [ "name" => "Ada"; "active" => true ]) // { name: "Ada", active: true }

Requires & types

Requires: open Reified (packages: Reified.Data)

val nickname: string option

val customer: Data

val request: Data

For a single edit, apply the direct Data operation instead:

Verified

customer |> Data.replace "name" "Grace"

customer: Data

(|>): 'T1 -> ('T1 -> 'U) -> 'U

Apply a function to a value, the value being on the left, the function on the right The argument. The function. The function result. let doubleIt x = x * 2 3 |> doubleIt // Evaluates to 6

Reified.DataModule

replace: string -> ^a -> Data -> Data

Replaces one existing value and returns the changed tree. data [ "name" => "Ada" ] |> Data.replace "name" "Grace" // data [ "name" => "Grace" ]

Requires & types

Requires: open Reified (packages: Reified.Data)

The same example with Reified.DataDSL

Verified

open Reified
open Reified.DataDSL

let customerViaDsl =
    data [
        "name" => "Ada"
        "nickname" ?=> nickname
        "deletedAt" => nil
        "address" => [ "city" => "Adelaide"; "postcode" => 5000 ]
        "roles" => [ "author" ]
    ]

let requestViaDsl =
    customerViaDsl
    |> Data.patch [
        replace "address.postcode" 5001
        append "roles" "admin"
        remove "deletedAt"
    ]

Reified

Reified.DataDSL

Concise opt-in syntax for literals, immutable edits, cases, and matching.

customerViaDsl: Data

data: DataField list -> Data

Builds an object from ordered field instructions. data [ "name" => "Ada"; "active" => true ] // Data.Object [ "name", Data.Text "Ada"; "active", Data.Bool true ]

(=>): string -> ^value -> DataField

Associates a field name with an exact value or recursive data pattern.

(?=>): string -> ^value option -> DataField

Associates a field name with an optional exact value, omitting None.

nickname: string option

nil: Data

An explicit structured null used by literals and edits.

requestViaDsl: Data

(|>): 'T1 -> ('T1 -> 'U) -> 'U

Apply a function to a value, the value being on the left, the function on the right The argument. The function. The function result. let doubleIt x = x * 2 3 |> doubleIt // Evaluates to 6

Reified.DataModule

patch: DataEdit list -> Data -> Data

Applies edits atomically or raises DataPatchException. Data.data [ Data.assoc "name" "Ada" ] |> Data.patch [ DataEdit.replace "name" "Grace" ] // Data.data [ Data.assoc "name" "Grace" ]

replace: string -> ^a -> DataEdit

Replaces an existing value.

append: string -> ^a -> DataEdit

Appends an item to an existing list.

remove: string -> DataEdit

Removes an existing field or list item.

Requires & types

Requires: open Reified; open Reified.DataDSL (packages: Reified.Data)

val customerViaDsl: Data

val requestViaDsl: Data

Literal and edit mappings

Every DSL name maps to an explicit Reified.Data or DataEdit function; the complete DataDSL ↔ explicit API table, the matching names, and the case-generation names are in the DataDSL API reference.

set makes the final path contain the value, adding a missing final object field when necessary. replace requires the target to exist, so a misspelled or unexpectedly absent path fails. Data.tryMatch is always qualified because it is not part of the DSL.

DataDSL

Without opening Reified.DataDSL

The same example with Reified.DataDSL

Literal and edit mappings

Overview

Docs

API Reference