Module Smart.CommandsSource

Sourcetype ('uid, 'ref) command = private
  1. | Create of 'uid * 'ref
  2. | Delete of 'uid * 'ref
  3. | Update of 'uid * 'uid * 'ref
Sourcetype ('uid, 'ref) t
Sourceval create : 'uid -> 'ref -> ('uid, 'ref) command
Sourceval delete : 'uid -> 'ref -> ('uid, 'ref) command
Sourceval update : 'uid -> 'uid -> 'ref -> ('uid, 'ref) command
Sourceval capabilities : ('uid, 'ref) t -> Capability.t list
Sourceval v : capabilities:Capability.t list -> ?others:('uid, 'ref) command list -> ('uid, 'ref) command -> ('uid, 'ref) t
Sourceval commands : ('uid, 'ref) t -> ('uid, 'ref) command list
Sourceval pp : 'uid Fmt.t -> 'ref Fmt.t -> ('uid, 'ref) t Fmt.t
Sourceval map : fuid:('uid0 -> 'uid1) -> fref:('ref0 -> 'ref1) -> ('uid0, 'ref0) t -> ('uid1, 'ref1) t