package archetype

  1. Overview
  2. Docs
Archetype language compiler

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (47)

Authors

  1. B
    Benoit Rognier <benoit.rognier@edukera.com>
  2. G
    Guillaume Duhamel <guillaume.duhamel@edukera.com>
  3. P
    Pierre-Yves Strub <pierre-yves.strub@polytechnique.edu>

Maintainers

  1. T
    The Archetype development team <archetype-dev@edukera.com>

Sources

0.1.8.tar.gz
md5=261a8693f78966153f4ffc4b2ef13fb2
sha512=0a17bab3fb14b092a5cdbd3767db008fca9199140fb81ed330d595696b54a4d93fa3b8cdb58f13b6d127e96b18d3ba6de85e5dc1a9e64a6ae7bd1a0173651382

doc/src/archetype/archetype.ml.html

Source file archetype.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
(* generated by dune *)

(** @canonical Archetype.Ast *)
module Ast = Archetype__Ast

(** @canonical Archetype.Core *)
module Core = Archetype__Core

(** @canonical Archetype.Error *)
module Error = Archetype__Error

(** @canonical Archetype.Gen_api_storage *)
module Gen_api_storage = Archetype__Gen_api_storage

(** @canonical Archetype.Gen_model *)
module Gen_model = Archetype__Gen_model

(** @canonical Archetype.Gen_reduce *)
module Gen_reduce = Archetype__Gen_reduce

(** @canonical Archetype.Gen_shallow_asset *)
module Gen_shallow_asset = Archetype__Gen_shallow_asset

(** @canonical Archetype.Gen_split_key_values *)
module Gen_split_key_values = Archetype__Gen_split_key_values

(** @canonical Archetype.Gen_transform *)
module Gen_transform = Archetype__Gen_transform

(** @canonical Archetype.Gen_why3 *)
module Gen_why3 = Archetype__Gen_why3

(** @canonical Archetype.Ident *)
module Ident = Archetype__Ident

(** @canonical Archetype.Io *)
module Io = Archetype__Io

(** @canonical Archetype.Lexer *)
module Lexer = Archetype__Lexer

(** @canonical Archetype.Location *)
module Location = Archetype__Location

(** @canonical Archetype.Mlwtree *)
module Mlwtree = Archetype__Mlwtree

(** @canonical Archetype.Model *)
module Model = Archetype__Model

(** @canonical Archetype.Options *)
module Options = Archetype__Options

(** @canonical Archetype.ParseError *)
module ParseError = Archetype__ParseError

(** @canonical Archetype.ParseTree *)
module ParseTree = Archetype__ParseTree

(** @canonical Archetype.Parser *)
module Parser = Archetype__Parser

(** @canonical Archetype.Position *)
module Position = Archetype__Position

(** @canonical Archetype.Printer_ast *)
module Printer_ast = Archetype__Printer_ast

(** @canonical Archetype.Printer_mlwtree *)
module Printer_mlwtree = Archetype__Printer_mlwtree

(** @canonical Archetype.Printer_model *)
module Printer_model = Archetype__Printer_model

(** @canonical Archetype.Printer_model_ligo *)
module Printer_model_ligo = Archetype__Printer_model_ligo

(** @canonical Archetype.Printer_model_ocaml *)
module Printer_model_ocaml = Archetype__Printer_model_ocaml

(** @canonical Archetype.Printer_model_smartpy *)
module Printer_model_smartpy = Archetype__Printer_model_smartpy

(** @canonical Archetype.Printer_pt *)
module Printer_pt = Archetype__Printer_pt

(** @canonical Archetype.Printer_pt_markdown *)
module Printer_pt_markdown = Archetype__Printer_pt_markdown

(** @canonical Archetype.Printer_tools *)
module Printer_tools = Archetype__Printer_tools

(** @canonical Archetype.PureLexer *)
module PureLexer = Archetype__PureLexer

(** @canonical Archetype.Symbol *)
module Symbol = Archetype__Symbol

(** @canonical Archetype.Tools *)
module Tools = Archetype__Tools

(** @canonical Archetype.Typing *)
module Typing = Archetype__Typing