package links

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val optimisation_pipeline : 
  (Types.datatype Env.Int.t -> Ir.program -> Ir.program) list

val typechecking_pipeline : 
  (Types.datatype Env.Int.t -> Ir.program -> Ir.program) list

val prelude_typechecking_pipeline : 
  (Types.datatype Env.Int.t -> Ir.binding list -> Ir.binding list) list

val main_pipeline : 
  bool ->
  (Types.datatype Env.Int.t -> Ir.program -> Ir.program) list

val prelude_pipeline : 
  (IrTraversals.Transform.environment ->
    Ir.binding list ->
    Ir.binding list)
    list