Class `Make.g`

inherit GTCommon.Plugin_intf.typ_g

inherit P.generator

inherit P.no_inherit_arg

method trait_name : string

method inh_of_main : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method syn_of_main : loc:AstHelpers.loc ->
  ?in_class:Base.bool ->
  Ppxlib.type_declaration ->
  AstHelpers.Typ.t

method syn_of_param : loc:AstHelpers.loc -> Base.string -> AstHelpers.Typ.t

method inh_of_param : loc:AstHelpers.loc ->
  Ppxlib.type_declaration ->
  Base.string ->
  AstHelpers.Typ.t

method plugin_class_params : loc:AstHelpers.loc ->
  Ppxlib.core_type GTCommon.HelpersBase.List.t ->
  typname:string ->
  AstHelpers.Typ.t Base__List.t

method on_tuple_constr : loc:AstHelpers.loc ->
  is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
  mutual_decls:Ppxlib.type_declaration Base.list ->
  inhe:AstHelpers.Exp.t ->
  Ppxlib.type_declaration ->
  [ `Normal of Base.string | `Poly of Base.string ] Base.option ->
  (Base.string * Ppxlib.core_type) Base.list ->
  AstHelpers.Exp.t

method on_record_constr : loc:AstHelpers.loc ->
  is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
  mutual_decls:Ppxlib.type_declaration Base.list ->
  inhe:AstHelpers.Exp.t ->
  Ppxlib.type_declaration ->
  [ `Normal of Base.string | `Poly of Base.string ] ->
  (Base.string * Base.string * Ppxlib.core_type) Base.list ->
  Ppxlib.label_declaration Base.list ->
  AstHelpers.Exp.t

method on_record_declaration : loc:AstHelpers.loc ->
  is_self_rec:(Ppxlib.core_type -> [ `Nonrecursive | `Nonregular | `Regular ]) ->
  mutual_decls:Ppxlib.type_declaration Base.list ->
  Ppxlib.type_declaration ->
  Ppxlib.label_declaration Base.list ->
  AstHelpers.Cf.t Base.list

method treat_type_specially : Ppxlib.core_type ->
  AstHelpers.Exp.t Base.Option.t

method make_inh : loc:AstHelpers.loc -> AstHelpers.Pat.t * AstHelpers.Exp.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/show/Show/Make/class-g/index.html

Class `Make.g`

package GT

Install

Dune Dependency

Authors

Maintainers

Sources

doc/show/Show/Make/class-g/index.html

Class Make.g

Class `Make.g`