package stk_xml

  1. Overview
  2. Docs

Module Stk_xml.TypesSource

Base types.

Locations

Sourcetype loc = pos * pos
Sourcetype 'a with_loc = 'a * loc
Sourcetype 'a with_loc_option = 'a * loc option
Sourceval string_of_loc : (Lexing.position * Lexing.position) -> string
Sourceval string_of_loc_option : (Lexing.position * Lexing.position) option -> string
Sourceval pp_loc_option : Format.formatter -> (Lexing.position * Lexing.position) option -> unit

Errors

Sourcetype error = ..
Sourceexception Error of error
Sourceval error : error -> 'a
Sourceval fail : error -> 'a Lwt.t
Sourceval ref_string_of_error : (error -> string) ref
Sourceval string_of_error : error -> string
Sourceval register_string_of_error : ((error -> string) -> error -> string) -> unit

Properties

IRI property

Sourcemodule TIri : sig ... end
Sourcemodule PIri : sig ... end
Sourceval iri_prop : ?after:PIri.t Stk__Props.post_action list -> ?default:PIri.t -> ?inherited:bool -> ?transition:(start:PIri.t -> stop:PIri.t -> float -> PIri.t) -> string -> PIri.t Stk__Props.prop

Resources loading

Sourcetype load_resource_result = [
  1. | `Error of string
  2. | `None
  3. | `Ok of Ldp.Types.resource
]
Sourcetype load_resource = Iri.t -> load_resource_result Lwt.t