ATSLIB/contrib/libevent/event

This package contains an API in ATS for the libevent package.


  • event
  • event0
  • event1
  • event_is_gtez
  • event2ptr
  • event_null
  • event_free_null
  • event_is_null
  • event_isnot_null
  • event_base
  • event0_base
  • event1_base
  • event_base_is_gtez
  • event2ptr_base
  • event_base_null
  • event_base_free_null
  • event_base_is_null
  • event_base_isnot_null
  • event_config
  • event0_config
  • event1_config
  • event_config_is_gtez
  • event2ptr_config
  • event_config_null
  • event_config_free_null
  • event_config_is_null
  • event_config_isnot_null
  • event_config_new
  • event_config_free
  • event_config_avoid_method

  • event

    Synopsis

    absvtype event (l:addr) = ptr (l)

    event0

    Synopsis

    vtypedef event0 = [l:addr] event (l)

    event1

    Synopsis

    vtypedef event1 = [l:addr | l > null] event (l)

    event_is_gtez

    Synopsis

    Synopsis for [event_is_gtez] is unavailable.

    event2ptr

    Synopsis

    castfn
    event2ptr
      {l:addr}(!event(l)):<> ptr(l)

    event_null

    Synopsis

    fun event_null
      ((*void*)):<> event (null) = "mac#atspre_ptr_null"

    event_free_null

    Synopsis

    praxi event_free_null{l:alez} (p: event l):<prf> void

    event_is_null

    Synopsis

    fun
    event_is_null
      {l:addr}
      (p: !event l):<> bool (l==null) = "mac#atspre_ptr_is_null"

    event_isnot_null

    Synopsis

    fun event_isnot_null
      {l:addr}
      (p: !event l):<> bool (l > null) = "mac#atspre_ptr_isnot_null"

    event_base

    Synopsis

    absvtype
    event_base (l:addr) = ptr (l)

    event0_base

    Synopsis

    vtypedef
    event0_base = [l:addr] event_base (l)

    event1_base

    Synopsis

    vtypedef
    event1_base = [l:addr | l > null] event_base (l)

    event_base_is_gtez

    Synopsis

    Synopsis for [event_base_is_gtez] is unavailable.

    event2ptr_base

    Synopsis

    castfn
    event2ptr_base
      {l:addr}(!event_base(l)):<> ptr(l)

    event_base_null

    Synopsis

    fun event_base_null
      ((*void*)):<> event_base (null) = "mac#atspre_ptr_null"

    event_base_free_null

    Synopsis

    praxi
    event_base_free_null{l:alez} (p: event_base (l)):<prf> void

    event_base_is_null

    Synopsis

    fun
    event_base_is_null
      {l:addr}
      (p: !event_base l):<> bool (l==null) = "mac#atspre_ptr_is_null"

    event_base_isnot_null

    Synopsis

    fun
    event_base_isnot_null
      {l:addr}
      (p: !event_base l):<> bool (l > null) = "mac#atspre_ptr_isnot_null"

    event_config

    Synopsis

    absvtype
    event_config (l:addr) = ptr (l)

    event0_config

    Synopsis

    vtypedef
    event0_config = [l:addr] event_config (l)

    event1_config

    Synopsis

    vtypedef
    event1_config = [l:addr | l > null] event_config (l)

    event_config_is_gtez

    Synopsis

    Synopsis for [event_config_is_gtez] is unavailable.

    event2ptr_config

    Synopsis

    castfn
    event2ptr_config
      {l:addr}(!event_config(l)):<> ptr(l)

    event_config_null

    Synopsis

    fun
    event_config_null
    (
    // argumentless
    ) :<> event_config (null) = "mac#atspre_ptr_null"

    event_config_free_null

    Synopsis

    praxi
    event_config_free_null
      {l:addr | l <= null} (p: event_config l):<> void

    event_config_is_null

    Synopsis

    fun
    event_config_is_null
      {l:addr}
      (p: !event_config l):<> bool (l==null) = "mac#atspre_ptr_is_null"

    event_config_isnot_null

    Synopsis

    fun
    event_config_isnot_null
      {l:addr}
      (p: !event_config l):<> bool (l > null) = "mac#atspre_ptr_isnot_null"

    event_config_new

    Synopsis

    fun event_config_new (): event0_config = "mac#%"

    event_config_free

    Synopsis

    fun event_config_free (p: event0_config): void = "mac#%"

    event_config_avoid_method

    Synopsis

    fun event_config_avoid_method
      (cfg: !event1_config, method: NSH(string)): interr = "mac#%"