package datakit-github

You can search for identifiers within the package.

in-package search v0.2.0

package datakit-github

datakit-github
- Datakit_github
  - API
    
    Webhook
  - Capabilities
  - Comment
  - Commit
    
    Set
  - Diff
  - ELT
  - Elt
    
    IdSet
    
    Set
  - Event
  - MAP
  - PR
    
    IdSet
    
    Index
    
    Set
  - Ref
    
    IdSet
    
    Index
    
    Set
  - Repo
    
    Map
    
    Set
  - SET
  - Set
    
    E
  - Snapshot
  - Status
    
    Index
    
    Set
  - Status_state
  - User
    
    Map
    
    Set
- Datakit_github_conv
  - Make
    
    DK
    
    Branch
    
    Commit
    
    Infix
    
    Transaction
    
    Tree

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t = private {

name : string;

}

The type for GitHub users.

val v : string -> t

v n is the user with name n.

val name : t -> string

name t is t's name.

val pp : t Fmt.t

pp is the pretty-printer for users.

module Set : SET with type elt = t

Sets of users.

module Map : MAP with type key = t

Maps of users.