package oasis

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Types
Basic conversion
Function conversion
Formating

package oasis

oasis
- FormatExt
- OASISBuildSection
- OASISContext
- OASISData
- OASISDataNotation
- OASISDocument
- OASISExec
- OASISExecutable
- OASISExpr
- OASISFeatures
  - Data
  - MapPlugin
- OASISFileSystem
  - closer
  - fs
  - host_fs
  - reader
  - writer
- OASISFileTemplate
- OASISFileUtil
- OASISFindlib
- OASISFlag
- OASISGettext
- OASISGraph
  - SetInt
- OASISHostPath
  - Map
- OASISLibrary
- OASISLicense
- OASISMessage
- OASISObject
- OASISPackage
- OASISParse
- OASISPlugin
  - Build
  - Configure
  - Doc
  - Extra
  - Install
  - MapPlugin
  - PLUGINS
  - SetPlugin
  - Test
- OASISSchema
- OASISSection
- OASISSetupUpdate
- OASISSourcePatterns
- OASISSourceRepository
- OASISString
- OASISTest
- OASISText
- OASISTypes
- OASISUnixPath
  - Set
- OASISUtils
  - HashStringCsl
  - MapExt
    
    Make
    
    Ord
    
    S
  - MapString
  - POSIXShell
  - SetExt
    
    Make
    
    Ord
    
    S
  - SetString
  - SetStringCsl
- OASISValues
- OASISVersion
  - StringVersion
- PropList
  - Data
  - Field
  - FieldRO
  - Schema
oasis.base
- BaseArgExt
- BaseBuilt
- BaseCheck
- BaseCompat
  - Compat_0_3
  - Compat_0_4
    
    BaseSetup
- BaseContext
- BaseCustom
- BaseData
- BaseDoc
- BaseDynVar
- BaseEnv
- BaseEnvLight
  - MapString
- BaseFileAB
- BaseGenerate
- BaseLog
- BaseMessage
- BaseOCamlcConfig
- BaseSetup
- BaseStandardVar
- BaseTest
oasis.builtin-plugins
oasis.cli
oasis.dynrun
- OASISDynRun
  - BaseSetup
plugin-loader
- PluginLoader
  - SetEntry
  - SetString
  - StringSet
  - foo

Legend:
Library
Module
Module type
Parameter
Class
Class type

OCaml data notation.

This module helps to translate OCaml data into a string following OCaml syntax.

Types

type module_name = string

type field_name = string

type variant_name = string

type var_name = string

type t =

| REC of module_name * (field_name * t) list
(*
List
*)
| LST of t list
(*
String
*)
| STR of string
(*
Variant type constructor
*)
| VRT of variant_name * t list
(*
Boolean
*)
| BOO of bool
(*
Tuple
*)
| TPL of t list
(*
Unit ()
*)
| UNT
(*
Function application
*)
| APP of var_name * (var_name * t) list * t list
(*
Variable
*)
| VAR of var_name
(*
Polymorphic variant
*)
| PVR of variant_name * t option

Basic conversion

val of_unit : unit -> t

val of_bool : bool -> t

val of_string : string -> t

val of_option : ('a -> t) -> 'b option -> t

val of_list : ('a -> t) -> 'a list -> t

Function conversion

type 'a func = {

func_call : 'a;
func_name : string;
func_arg : t option;

}

Function that can be generated using func_call = APP(func, , func_arg).

val func : 'a -> string -> 'b func

Return the OCaml function corresponding to a func.

val func_with_arg : ('a -> 'b) -> string -> 'c -> ('d -> t) -> 'e func

Create a func with an argument

val func_with_arg_ctxt : 
  (ctxt:'a -> 'b -> 'c) ->
  string ->
  'd ->
  ('e -> t) ->
  (ctxt:'f -> 'g) func

val odn_of_func : 'a func -> t

Return the t code corresponding to a func.

val func_call : 'a func -> 'b

Return the OCaml function corresponding to a func.

Formating

val pp_odn : ?opened_modules:string list -> Format.formatter -> t -> unit