Module Ketrew_target.Stored_target (.ml)

module Stored_target: sig .. end

type target = Ketrew_target.t

type t

val to_json : t -> Ketrew_pervasives.Json.t

Serialize a target to Json.t intermediate representation.

val serialize : t -> string

Serialize a target (for the database).

val deserialize : string ->
       (t,
        [> `Target of [> `Deserilization of string ] ])
       Ketrew_pervasives.Result.t

Deserilize a target from a string.

val get_target : t ->
       [ `Pointer of Ketrew_target.id
       | `Target of target ]

val of_target : target -> t

val id : t -> Ketrew_target.id

val make_pointer : from:target ->
       pointing_to:target ->
       t