package archetype

You can search for identifiers within the package.

in-package search v0.2.0

package archetype

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_scaml
  - Printer_model_smartpy
  - Printer_pt
  - Printer_pt_markdown
  - Printer_pt_type_contract
  - Printer_tools
  - PureLexer
    
    Lexer
  - Symbol
  - Tools
    
    List
    
    Exn
    
    Map
    
    Make
    
    Mint
    
    Mstr
    
    Option
    
    String
  - Typing
    
    Env
    
    Asset
    
    Context
    
    Contract
    
    Function
    
    Label
    
    Local
    
    State
    
    TAction
    
    Type
    
    Var
    
    ListAPI
    
    SecurityPred
    
    Type

Legend:
Library
Module
Module type
Parameter
Class
Class type

type _ mode =

| ActionDesc : M.action_description mode
| Role : M.lident list mode
| Action : M.security_action mode

val validate1 : env -> 'a mode -> PT.security_arg -> 'a

type _ validator =

| V0 : unit validator
| VC : 'a mode * 'b validator -> ('a * 'b) validator

val (^:) : 'a mode -> 'b validator -> ('a * 'b) validator

exception ArgCountError

val vdlen : 'a. 'a validator -> int

val validate : 'a. env -> ('a validator * PT.security_arg list) -> 'a

type predc =

| PredC : ('a -> M.security_node) * 'a validator -> predc

val pclen : predc -> int

val vd1 : ('a -> M.security_node) -> 'a mode -> predc

val vd2 : ('a -> 'b -> M.security_node) -> 'a mode -> 'b mode -> predc

val vd3 : 
  ('a -> 'b -> 'c -> M.security_node) ->
  'a mode ->
  'b mode ->
  'c mode ->
  predc

val validate_and_build : 
  env ->
  predc ->
  PT.security_arg list ->
  M.security_node

val preds : predc Ident.Mid.t