Module `Lang.El`

type num = Xl.Num.t

val num_to_yojson : num -> Yojson.Safe.t

val num_of_yojson : Yojson.Safe.t -> num Ppx_deriving_yojson_runtime.error_or

type text = string

val text_to_yojson : text -> Yojson.Safe.t

val text_of_yojson : Yojson.Safe.t -> text Ppx_deriving_yojson_runtime.error_or

type id = id' Util.Source.phrase

and id' = string

val id_to_yojson : id -> Yojson.Safe.t

val id_of_yojson : Yojson.Safe.t -> id Ppx_deriving_yojson_runtime.error_or

val id'_to_yojson : id' -> Yojson.Safe.t

val id'_of_yojson : Yojson.Safe.t -> id' Ppx_deriving_yojson_runtime.error_or

type atom = Domain.Atom.t Util.Source.phrase

val atom_to_yojson : atom -> Yojson.Safe.t

val atom_of_yojson : Yojson.Safe.t -> atom Ppx_deriving_yojson_runtime.error_or

type iter =

| Opt
| List

and typ =

| PlainT of plaintyp
| NotationT of nottyp

and plaintyp = plaintyp' Util.Source.phrase

and plaintyp' =

| BoolT
| NumT of Xl.Num.typ
| TextT
| VarT of id * targ list
| ParenT of plaintyp
| TupleT of plaintyp list
| IterT of plaintyp * iter

and nottyp = nottyp' Util.Source.phrase

and nottyp' =

| AtomT of atom
| SeqT of typ list
| InfixT of typ * atom * typ
| BrackT of atom * typ * atom

and deftyp = deftyp' Util.Source.phrase

and deftyp' =

| PlainTD of plaintyp
| StructTD of typfield list
| VariantTD of typcase list

and typfield = atom * plaintyp * hint list

and typcase = typ * hint list

and numop = [

| `DecOp
| `HexOp

]

and unop = [

| Xl.Bool.unop
| Xl.Num.unop

]

and binop = [

| Xl.Bool.binop
| Xl.Num.binop

]

and cmpop = [

| Xl.Bool.cmpop
| Xl.Num.cmpop

]

and exp = exp' Util.Source.phrase

and exp' =

| BoolE of bool
| NumE of numop * num
| TextE of text
| VarE of id
| UnE of unop * exp
| BinE of exp * binop * exp
| CmpE of exp * cmpop * exp
| ArithE of exp
| EpsE
| ListE of exp list
| ConsE of exp * exp
| CatE of exp * exp
| IdxE of exp * exp
| SliceE of exp * exp * exp
| LenE of exp
| MemE of exp * exp
| StrE of (atom * exp) list
| DotE of exp * atom
| UpdE of exp * path * exp
| ParenE of exp
| TupleE of exp list
| CallE of id * targ list * arg list
| IterE of exp * iter
| SubE of exp * plaintyp
| AtomE of atom
| SeqE of exp list
| InfixE of exp * atom * exp
| BrackE of atom * exp * atom
| HoleE of [ `Num of int | `Next | `Rest | `None ]
| FuseE of exp * exp
| UnparenE of exp
| LatexE of string

and path = path' Util.Source.phrase

and path' =

| RootP
| IdxP of path * exp
| SliceP of path * exp * exp
| DotP of path * atom

and param = param' Util.Source.phrase

and param' =

| ExpP of plaintyp
| DefP of id * tparam list * param list * plaintyp

and tparam = tparam' Util.Source.phrase

and tparam' = id'

and arg = arg' Util.Source.phrase

and arg' =

| ExpA of exp
| DefA of id

and targ = targ' Util.Source.phrase

and targ' = plaintyp'

and prem = prem' Util.Source.phrase

and prem' =

| VarPr of id * plaintyp
| RulePr of id * exp
| RuleNotPr of id * exp
| IfPr of exp
| ElsePr
| IterPr of prem * iter
| DebugPr of exp

and hint = {

hintid : id;
hintexp : exp;

}

and rule = rule' Util.Source.phrase

and rule' = id * id * exp * prem list

and tablerow = tablerow' Util.Source.phrase

and tablerow' = exp * exp

val iter_to_yojson : iter -> Yojson.Safe.t

val iter_of_yojson : Yojson.Safe.t -> iter Ppx_deriving_yojson_runtime.error_or

val typ_to_yojson : typ -> Yojson.Safe.t

val typ_of_yojson : Yojson.Safe.t -> typ Ppx_deriving_yojson_runtime.error_or

val plaintyp_to_yojson : plaintyp -> Yojson.Safe.t

val plaintyp_of_yojson : 
  Yojson.Safe.t ->
  plaintyp Ppx_deriving_yojson_runtime.error_or

val plaintyp'_to_yojson : plaintyp' -> Yojson.Safe.t

val plaintyp'_of_yojson : 
  Yojson.Safe.t ->
  plaintyp' Ppx_deriving_yojson_runtime.error_or

val nottyp_to_yojson : nottyp -> Yojson.Safe.t

val nottyp_of_yojson : 
  Yojson.Safe.t ->
  nottyp Ppx_deriving_yojson_runtime.error_or

val nottyp'_to_yojson : nottyp' -> Yojson.Safe.t

val nottyp'_of_yojson : 
  Yojson.Safe.t ->
  nottyp' Ppx_deriving_yojson_runtime.error_or

val deftyp_to_yojson : deftyp -> Yojson.Safe.t

val deftyp_of_yojson : 
  Yojson.Safe.t ->
  deftyp Ppx_deriving_yojson_runtime.error_or

val deftyp'_to_yojson : deftyp' -> Yojson.Safe.t

val deftyp'_of_yojson : 
  Yojson.Safe.t ->
  deftyp' Ppx_deriving_yojson_runtime.error_or

val typfield_to_yojson : typfield -> Yojson.Safe.t

val typfield_of_yojson : 
  Yojson.Safe.t ->
  typfield Ppx_deriving_yojson_runtime.error_or

val typcase_to_yojson : typcase -> Yojson.Safe.t

val typcase_of_yojson : 
  Yojson.Safe.t ->
  typcase Ppx_deriving_yojson_runtime.error_or

val numop_to_yojson : numop -> Yojson.Safe.t

val numop_of_yojson : 
  Yojson.Safe.t ->
  numop Ppx_deriving_yojson_runtime.error_or

val unop_to_yojson : unop -> Yojson.Safe.t

val unop_of_yojson : Yojson.Safe.t -> unop Ppx_deriving_yojson_runtime.error_or

val binop_to_yojson : binop -> Yojson.Safe.t

val binop_of_yojson : 
  Yojson.Safe.t ->
  binop Ppx_deriving_yojson_runtime.error_or

val cmpop_to_yojson : cmpop -> Yojson.Safe.t

val cmpop_of_yojson : 
  Yojson.Safe.t ->
  cmpop Ppx_deriving_yojson_runtime.error_or

val exp_to_yojson : exp -> Yojson.Safe.t

val exp_of_yojson : Yojson.Safe.t -> exp Ppx_deriving_yojson_runtime.error_or

val exp'_to_yojson : exp' -> Yojson.Safe.t

val exp'_of_yojson : Yojson.Safe.t -> exp' Ppx_deriving_yojson_runtime.error_or

val path_to_yojson : path -> Yojson.Safe.t

val path_of_yojson : Yojson.Safe.t -> path Ppx_deriving_yojson_runtime.error_or

val path'_to_yojson : path' -> Yojson.Safe.t

val path'_of_yojson : 
  Yojson.Safe.t ->
  path' Ppx_deriving_yojson_runtime.error_or

val param_to_yojson : param -> Yojson.Safe.t

val param_of_yojson : 
  Yojson.Safe.t ->
  param Ppx_deriving_yojson_runtime.error_or

val param'_to_yojson : param' -> Yojson.Safe.t

val param'_of_yojson : 
  Yojson.Safe.t ->
  param' Ppx_deriving_yojson_runtime.error_or

val tparam_to_yojson : tparam -> Yojson.Safe.t

val tparam_of_yojson : 
  Yojson.Safe.t ->
  tparam Ppx_deriving_yojson_runtime.error_or

val tparam'_to_yojson : tparam' -> Yojson.Safe.t

val tparam'_of_yojson : 
  Yojson.Safe.t ->
  tparam' Ppx_deriving_yojson_runtime.error_or

val arg_to_yojson : arg -> Yojson.Safe.t

val arg_of_yojson : Yojson.Safe.t -> arg Ppx_deriving_yojson_runtime.error_or

val arg'_to_yojson : arg' -> Yojson.Safe.t

val arg'_of_yojson : Yojson.Safe.t -> arg' Ppx_deriving_yojson_runtime.error_or

val targ_to_yojson : targ -> Yojson.Safe.t

val targ_of_yojson : Yojson.Safe.t -> targ Ppx_deriving_yojson_runtime.error_or

val targ'_to_yojson : targ' -> Yojson.Safe.t

val targ'_of_yojson : 
  Yojson.Safe.t ->
  targ' Ppx_deriving_yojson_runtime.error_or

val prem_to_yojson : prem -> Yojson.Safe.t

val prem_of_yojson : Yojson.Safe.t -> prem Ppx_deriving_yojson_runtime.error_or

val prem'_to_yojson : prem' -> Yojson.Safe.t

val prem'_of_yojson : 
  Yojson.Safe.t ->
  prem' Ppx_deriving_yojson_runtime.error_or

val hint_to_yojson : hint -> Yojson.Safe.t

val hint_of_yojson : Yojson.Safe.t -> hint Ppx_deriving_yojson_runtime.error_or

val rule_to_yojson : rule -> Yojson.Safe.t

val rule_of_yojson : Yojson.Safe.t -> rule Ppx_deriving_yojson_runtime.error_or

val rule'_to_yojson : rule' -> Yojson.Safe.t

val rule'_of_yojson : 
  Yojson.Safe.t ->
  rule' Ppx_deriving_yojson_runtime.error_or

val tablerow_to_yojson : tablerow -> Yojson.Safe.t

val tablerow_of_yojson : 
  Yojson.Safe.t ->
  tablerow Ppx_deriving_yojson_runtime.error_or

val tablerow'_to_yojson : tablerow' -> Yojson.Safe.t

val tablerow'_of_yojson : 
  Yojson.Safe.t ->
  tablerow' Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> tablerow' Ppx_deriving_yojson_runtime.error_or

type def = def' Util.Source.phrase

and def' =

| ExternSynD of id * hint list
| SynD of (id * tparam list) list
| TypD of id * tparam list * deftyp * hint list
| VarD of id * plaintyp * hint list
| ExternRelD of id * nottyp * hint list
| RelD of id * nottyp * hint list
| RuleGroupD of id * id * rule list
| ExternDecD of id * tparam list * param list * plaintyp * hint list
| BuiltinDecD of id * tparam list * param list * plaintyp * hint list
| TableDecD of id * param list * plaintyp * hint list
| FuncDecD of id * tparam list * param list * plaintyp * hint list
| TableDefD of id * tablerow list
| FuncDefD of id * tparam list * arg list * exp * prem list
| SepD

type spec = def list

module Free : sig ... end

module Print : sig ... end

module Render : sig ... end

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/El/index.html

Module `Lang.El`

package p4spectec

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/p4spectec.lang/Lang/El/index.html

Module Lang.El

dune-project
Dependency

Module `Lang.El`