package patdiff
File Diff using the Patience Diff algorithm
Install
Dune Dependency
Authors
Maintainers
Sources
patdiff-v0.14.0.tar.gz
sha256=fbe06078bdb58f3e0c165998ecb82de6983a173c62f0f9f3ae4e914e645204e1
md5=12319e1918cf37f2800fd5aef272b398
doc/patdiff.kernel/Patdiff_kernel/Diff_input/Fields/Direct/index.html
Module Fields.DirectSource
Source
val iter :
t ->
name:((t, string) Fieldslib.Field.t -> t -> string -> unit) ->
text:((t, string) Fieldslib.Field.t -> t -> string -> unit) ->
unitSource
val fold :
t ->
init:'acc__0 ->
name:('acc__0 -> (t, string) Fieldslib.Field.t -> t -> string -> 'acc__1) ->
text:('acc__1 -> (t, string) Fieldslib.Field.t -> t -> string -> 'acc__2) ->
'acc__2Source
val for_all :
t ->
name:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
text:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
boolSource
val exists :
t ->
name:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
text:((t, string) Fieldslib.Field.t -> t -> string -> bool) ->
boolSource
val to_list :
t ->
name:((t, string) Fieldslib.Field.t -> t -> string -> 'elem__) ->
text:((t, string) Fieldslib.Field.t -> t -> string -> 'elem__) ->
'elem__ listSource
val map :
t ->
name:((t, string) Fieldslib.Field.t -> t -> string -> string) ->
text:((t, string) Fieldslib.Field.t -> t -> string -> string) ->
t