package decoders-jsonaf

  1. Overview
  2. Docs

Module Decoders_jsonaf.DecodeSource

include sig ... end
Sourcetype value = Jsonaf.t
Sourceval pp_error : Format.formatter -> error -> unit
Sourceval string_of_error : error -> string
Sourceval of_string : string -> (value, error) Decoders.Util.My_result.t
Sourceval of_file : string -> (value, error) Decoders.Util.My_result.t
Sourcetype !'a decoder = (Jsonaf.t, 'a) Decoders.Decoder.t
Sourceval string : string decoder
Sourceval int : int decoder
Sourceval float : float decoder
Sourceval bool : bool decoder
Sourceval null : unit decoder
Sourceval value : value decoder
Sourceval list : 'a decoder -> 'a list decoder
Sourceval list_filter : 'a option decoder -> 'a list decoder
Sourceval list_fold_left : ('a -> 'a decoder) -> 'a -> 'a decoder
Sourceval array : 'a decoder -> 'a array decoder
Sourceval index : int -> 'a decoder -> 'a decoder
Sourceval uncons : ('a -> 'b decoder) -> 'a decoder -> 'b decoder
Sourceval field : string -> 'a decoder -> 'a decoder
Sourceval field_opt : string -> 'a decoder -> 'a option decoder
Sourceval field_opt_or : default:'a -> string -> 'a decoder -> 'a decoder
Sourceval single_field : (string -> 'a decoder) -> 'a decoder
Sourceval at : string list -> 'a decoder -> 'a decoder
Sourceval maybe : 'a decoder -> 'a option decoder
Sourceval nullable : 'a decoder -> 'a option decoder
Sourceval one_of : (string * 'a decoder) list -> 'a decoder
Sourceval pick : (string * 'a decoder decoder) list -> 'a decoder
Sourceval decode_sub : value -> 'a decoder -> 'a decoder
Sourceval map : ('a -> 'b) -> 'a decoder -> 'b decoder
Sourceval apply : ('a -> 'b) decoder -> 'a decoder -> 'b decoder
Sourceval keys : string list decoder
Sourceval key_value_pairs : 'v decoder -> (string * 'v) list decoder
Sourceval key_value_pairs_seq : (string -> 'v decoder) -> 'v list decoder
Sourceval keys' : 'k decoder -> 'k list decoder
Sourceval key_value_pairs' : 'k decoder -> 'v decoder -> ('k * 'v) list decoder
Sourceval key_value_pairs_seq' : 'k decoder -> ('k -> 'v decoder) -> 'v list decoder
Sourceval succeed : 'a -> 'a decoder
Sourceval fail : string -> 'a decoder
Sourceval fail_with : error -> 'a decoder
Sourceval from_result : ('a, error) Decoders.Util.My_result.t -> 'a decoder
Sourceval and_then : ('a -> 'b decoder) -> 'a decoder -> 'b decoder
Sourceval fix : ('a decoder -> 'a decoder) -> 'a decoder
Sourceval of_of_string : msg:string -> (string -> 'a option) -> 'a decoder
Sourcemodule Infix : sig ... end
Sourceval (>>=) : ('i -> ('a, 'i Decoders.Error.t) result) -> ('a -> 'i -> ('b, 'i Decoders.Error.t) result) -> 'i -> ('b, 'i Decoders.Error.t) result
Sourceval (>|=) : ('i -> ('a, 'i Decoders.Error.t) result) -> ('a -> 'b) -> 'i -> ('b, 'i Decoders.Error.t) result
Sourceval (<*>) : ('i -> ('a -> 'b, 'i Decoders.Error.t) result) -> ('i -> ('a, 'i Decoders.Error.t) result) -> 'i -> ('b, 'i Decoders.Error.t) result
Sourcetype (!'i, !'o) t_let = 'i -> ('o, 'i Decoders.Error.t) result
Sourceval (let+) : ('i, 'a) t_let -> ('a -> 'b) -> ('i, 'b) t_let
Sourceval (and+) : ('i, 'a) t_let -> ('i, 'b) t_let -> ('i, 'a * 'b) t_let
Sourceval (let*) : ('i, 'a) t_let -> ('a -> ('i, 'b) t_let) -> ('i, 'b) t_let
Sourceval (and*) : ('i, 'a) t_let -> ('i, 'b) t_let -> ('i, 'a * 'b) t_let
Sourceval (<$>) : ('a -> 'b) -> 'a decoder -> 'b decoder
Sourceval decode_value : 'a decoder -> value -> ('a, error) Decoders.Util.My_result.t
Sourceval decode_string : 'a decoder -> string -> ('a, error) Decoders.Util.My_result.t
Sourceval decode_file : 'a decoder -> string -> ('a, error) Decoders.Util.My_result.t
Sourcemodule Pipeline : sig ... end
Sourceval number : string decoder