package archetype

You can search for identifiers within the package.

in-package search v0.2.0

archetype
- Archetype
  - Ast
    
    Utils
  - Core
    
    Format
  - Error
  - Gen_api_storage
  - Gen_model
  - Gen_reduce
  - Gen_shallow_asset
  - Gen_split_key_values
  - Gen_storage
  - Gen_transform
  - Gen_why3
  - Ident
    
    Mid
    
    Sid
    
    ident_iter
    
    ident_map
    
    ident_reduce
    
    ident_reduce2
  - Io
  - Lexer
  - Location
    
    location_iter
    
    location_map
    
    location_reduce
    
    location_reduce2
  - Mlwtree
  - Model
    
    Utils
  - Options
  - ParseError
  - ParseTree
    
    iter
    
    map
    
    reduce
    
    reduce2
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Position
  - Printer_ast
  - Printer_mlwtree
  - Printer_model
  - Printer_model_ligo
    
    LigoUtils
  - Printer_model_ocaml
  - Printer_model_smartpy
  - Printer_pt
  - Printer_pt_markdown
  - Printer_tools
  - PureLexer
    
    Lexer
  - Symbol
  - Tools
    
    List
    
    Exn
    
    Map
    
    Make
    
    S
    
    Mint
    
    Mstr
    
    Option
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Contract
    
    Function
    
    Label
    
    Local
    
    State
    
    TAction
    
    Type
    
    Var
    
    SecurityPred
    
    Type

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception ParenError

type error_desc =

| LexicalError of string
| Unclosed of string * string
| NotExpecting of string

val pp_error_desc : 
  Ppx_deriving_runtime.Format.formatter ->
  error_desc ->
  Ppx_deriving_runtime.unit

val show_error_desc : error_desc -> Ppx_deriving_runtime.string

type error = Location.t * error_desc

val emit_error : Location.t -> error_desc -> unit

val lexbuf_from_channel : string -> in_channel -> Lexing.lexbuf

val lexbuf_from_string : string -> string -> Lexing.lexbuf

val check_brackets_balance : unit -> unit

val resume_on_error : 
  [< `FoundDeclarationAt of 'a Parser.MenhirInterpreter.checkpoint
  | `FoundEffect of 'a Parser.MenhirInterpreter.checkpoint
  | `FoundExprAt of 'a Parser.MenhirInterpreter.checkpoint
  | `FoundNothingAt of 'a Parser.MenhirInterpreter.checkpoint ] ->
  PureLexer.Lexer.t ->
  PureLexer.Lexer.t * 'a Parser.MenhirInterpreter.checkpoint

val update_last_reduction : 
  'a ->
  Parser.MenhirInterpreter.production ->
  [> `FoundDeclarationAt of 'a | `FoundEffect of 'a | `FoundExprAt of 'a ] as 'b ->
  'b

val parse : Lexing.lexbuf -> ParseTree.archetype

val parse_archetype : ?name:string -> in_channel -> ParseTree.archetype

val parse_archetype_strict : ?name:string -> in_channel -> ParseTree.archetype

val parse_archetype_strict_from_string : 
  ?name:string ->
  string ->
  ParseTree.archetype