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 -> int) -> 'propto suffix -> 'propto suffix -> int
val map_suffix : ('a -> 'b) -> 'a suffix -> 'b suffix
val sexp_of_suffix : 'propto. ('propto -> Sexplib0.Sexp.t) -> 'propto suffix -> Sexplib0.Sexp.t
val equal_suffix : 'propto. ('propto -> 'propto -> bool) -> 'propto suffix -> 'propto suffix -> bool
val without_propto : bool suffix -> unit suffix
type 'e t =
  1. | StanLib of string * bool suffix * Mem_pattern.t
  2. | CompilerInternal of 'e Internal_fun.t
  3. | UserDefined of string * bool suffix
val compare : 'e. ('e -> 'e -> int) -> 'e t -> 'e t -> int
val sexp_of_t : 'e. ('e -> Sexplib0.Sexp.t) -> 'e t -> Sexplib0.Sexp.t
val map : ('a -> 'b) -> 'a t -> 'b t
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a
val suffix_from_name : string -> bool suffix
val with_unnormalized_suffix : string -> string option
val pp : 'a Fmt.t -> Stdlib.Format.formatter -> 'a t -> unit
val collect_exprs : 'a t -> 'a list