package github-hooks

You can search for identifiers within the package.

in-package search v0.2.0

package github-hooks

github-hooks
- Github_hooks
  - CONFIGURATION
    
    Log
  - HOOKS
  - Make
    
    Conf
    
    Log
    
    Github
    
    API
    
    Check
    
    Collaborator
    
    Deploy_key
    
    Emoji
    
    Endpoint
    
    Version
    
    Event
    
    Filter
    
    Gist
    
    Git_obj
    
    Issue
    
    Label
    
    Milestone
    
    Monad
    
    Organization
    
    Hook
    
    Pull
    
    Rate_limit
    
    Release
    
    Repo
    
    Hook
    
    Response
    
    Scope
    
    Search
    
    Stats
    
    Status
    
    Stream
    
    Team
    
    Token
    
    URI
    
    User
    
    Server
    
    IO
    
    Time
  - Repo
    
    Set
  - SERVER
    
    IO
  - TIME

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t

val min : t

val now : unit -> t