package archetype

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Typing.EnvSource

Sourcetype t
Sourcetype label_kind = [
  1. | `Plain
  2. | `Code
  3. | `Loop of A.ptyp
]
Sourcetype record = [
  1. | `Pre of A.lident
  2. | `Full of recorddecl
]
Sourcetype state = [
  1. | `Pre of A.lident
  2. | `Full of statedecl
]
Sourcetype asset = [
  1. | `Pre of A.lident
  2. | `Full of assetdecl
]
Sourcetype entry = [
  1. | `Label of t * label_kind
  2. | `State of state
  3. | `StateByCtor of statedecl * A.lident
  4. | `Type of A.ptyp
  5. | `Local of A.ptyp * locvarkind
  6. | `Global of vardecl
  7. | `Asset of asset
  8. | `Record of record
  9. | `Event of record
  10. | `Entry of tentrydecl
  11. | `Function of fundecl
  12. | `Field of fullname * [ `Asset | `Record | `Event ]
  13. | `Context of assetdecl * Ident.ident option
  14. | `Import of t importdecl
]
Sourceand locvarkind = [
  1. | `Standard
  2. | `Const
  3. | `Argument
  4. | `Pattern
  5. | `LoopIndex
]
Sourcetype cache
Sourcetype ecallback = error -> unit
Sourceval create : name:A.lident -> ?cache:cache -> ?path:string -> ecallback -> t
Sourceval emit_error : t -> error -> unit
Sourceval name_free : t -> Ident.ident -> [ `Free | `Clash of Location.t option ]
Sourceval lookup_entry : t -> longident -> (A.lident * entry) option
Sourceval open_ : t -> t
Sourceval close : t -> t
Sourceval inscope : t -> (t -> t * 'a) -> t * 'a
Sourceval name : t -> A.lident
Sourceval relative : t -> fullname -> longident
Sourcemodule Label : sig ... end
Sourcemodule Type : sig ... end
Sourcemodule Local : sig ... end
Sourcemodule Var : sig ... end
Sourcemodule Function : sig ... end
Sourcemodule State : sig ... end
Sourcemodule Record : sig ... end
Sourcemodule Event : sig ... end
Sourcemodule Asset : sig ... end
Sourcemodule Tentry : sig ... end
Sourcemodule Context : sig ... end
Sourcemodule Import : sig ... end
Sourcemodule FunctionProperties : sig ... end
OCaml

Innovation. Community. Security.