Lift (p.lua-ml.0.9.4.doc.lua-ml.Lualib.Lift)

Parameters

module T : COMBINED_TYPE

module View : TYPEVIEW with type 'a t = 'a T.t

Signature

Sourcetype 'a t = 'a View.combined

include COMBINED_CORE
  with type 'a also_t = 'a t
  with type 'a TV1.t = 'a T.TV1.t
  with type 'a TV2.t = 'a T.TV2.t
  with type 'a TV3.t = 'a T.TV3.t
  with type 'a TV4.t = 'a T.TV4.t
  with type 'a TV5.t = 'a T.TV5.t
  with type 'a TV6.t = 'a T.TV6.t
  with type 'a TV7.t = 'a T.TV7.t
  with type 'a TV8.t = 'a T.TV8.t
  with type 'a TV9.t = 'a T.TV9.t
  with type 'a TV10.t = 'a T.TV10.t

Sourcetype 'a also_t = 'a t

Sourcemodule type VIEW = TYPEVIEW with type 'a combined = 'a also_t

Sourcemodule TV1 : VIEW with type 'a t = 'a T.TV1.t

Sourcemodule TV2 : VIEW with type 'a t = 'a T.TV2.t

Sourcemodule TV3 : VIEW with type 'a t = 'a T.TV3.t

Sourcemodule TV4 : VIEW with type 'a t = 'a T.TV4.t

Sourcemodule TV5 : VIEW with type 'a t = 'a T.TV5.t

Sourcemodule TV6 : VIEW with type 'a t = 'a T.TV6.t

Sourcemodule TV7 : VIEW with type 'a t = 'a T.TV7.t

Sourcemodule TV8 : VIEW with type 'a t = 'a T.TV8.t

Sourcemodule TV9 : VIEW with type 'a t = 'a T.TV9.t

Sourcemodule TV10 : VIEW with type 'a t = 'a T.TV10.t