Module StoredFile.FieldsSource
Sourceval blob :
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm Sourceval file :
([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm Sourceval make_creator :
file:
(([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
'a ->
('b -> Storage__.Model.File.t) * 'c) ->
blob:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'c ->
('b -> string) * 'd) ->
'a ->
('b -> t) * 'd Sourceval create : file:Storage__.Model.File.t -> blob:string -> t Sourceval map :
file:
(([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
Storage__.Model.File.t) ->
blob:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
string) ->
t Sourceval iter :
file:
(([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
unit) ->
blob:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
unit) ->
unit Sourceval fold :
init:'a ->
file:
('a ->
([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
'b) ->
blob:
('b ->
([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'c) ->
'c Sourceval map_poly :
([< `Read | `Set_and_create ], t, 'a) Fieldslib.Field.user ->
'a list Sourceval for_all :
file:
(([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
bool) ->
blob:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
bool Sourceval exists :
file:
(([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
bool) ->
blob:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
bool) ->
bool Sourceval to_list :
file:
(([< `Read | `Set_and_create ], t, Storage__.Model.File.t)
Fieldslib.Field.t_with_perm ->
'a) ->
blob:
(([< `Read | `Set_and_create ], t, string) Fieldslib.Field.t_with_perm ->
'a) ->
'a list