module Spartan6.Unsafe.Json.Generate where

-- This is only a narrow re-export.  The upstream script emits the `gen*`
-- helper names in its generated term, so those existing helpers must be in
-- scope with the macro.  Host execution primitives and the script-path
-- binding remain hidden.  The implementation currently invokes Node through
-- a hard-coded script path; see unsafe/README.md.
open import FF.Json.Generate.Node public
  using
    ( genString
    ; genNumber
    ; genTrue
    ; genFalse
    ; genNull
    ; genArrayNil
    ; genArrayCons
    ; genObjectNil
    ; genObjectCons
    ; jsonValueFromNode
    )