Module Middle.Fun_kind

Types for function kinds, e.g. StanLib or UserDefined, and function suffix types, e.g. foo_ldfp, bar_lp

type 'propto suffix =
  1. | FnPlain
  2. | FnRng
  3. | FnLpdf of 'propto
  4. | FnLpmf of 'propto
  5. | FnTarget
  6. | FnJacobian
val compare_suffix : 'propto. ('propto -> 'propto -> Core.int) -> 'propto suffix -> 'propto suffix -> Core.int
val hash_fold_suffix : 'propto. (Ppx_hash_lib.Std.Hash.state -> 'propto -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'propto suffix -> Ppx_hash_lib.Std.Hash.state
val map_suffix : ('a -> 'b) -> 'a suffix -> 'b suffix
val suffix_of_sexp : 'propto. (Sexplib0.Sexp.t -> 'propto) -> Sexplib0.Sexp.t -> 'propto suffix
val sexp_of_suffix : 'propto. ('propto -> Sexplib0.Sexp.t) -> 'propto suffix -> Sexplib0.Sexp.t
val equal_suffix : 'propto. ('propto -> 'propto -> Core.bool) -> 'propto suffix -> 'propto suffix -> Core.bool
val without_propto : Core.bool suffix -> Core.unit suffix
type 'e t =
  1. | StanLib of Core.string * Core.bool suffix * Mem_pattern.t
  2. | CompilerInternal of 'e Internal_fun.t
  3. | UserDefined of Core.string * Core.bool suffix
val compare : 'e. ('e -> 'e -> Core.int) -> 'e t -> 'e t -> Core.int
val t_of_sexp : 'e. (Sexplib0.Sexp.t -> 'e) -> Sexplib0.Sexp.t -> 'e t
val sexp_of_t : 'e. ('e -> Sexplib0.Sexp.t) -> 'e t -> Sexplib0.Sexp.t
val hash_fold_t : 'e. (Ppx_hash_lib.Std.Hash.state -> 'e -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'e t -> Ppx_hash_lib.Std.Hash.state
val map : ('a -> 'b) -> 'a t -> 'b t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val suffix_from_name : Core.String.t -> bool suffix
val with_unnormalized_suffix : Core.string -> Core.String.t Core.Option.t
val pp : 'a Fmt.t -> Stdlib.Format.formatter -> 'a t -> unit
val collect_exprs : 'a t -> 'a list