mim::plug::cps Namespace Reference

The CPS Plugin More...

Classes
class	Conv
	Full CPS conversion in one recursive rewrite. More...

Enumerations
%cps.cps2ds
enum class	cps2ds : flags_t
%cps.conv
enum class	conv : flags_t

Functions
static bool	convertible (Lam *lam)
	A term-level, direct-style function that we can and want to convert.

Variables
static constexpr plugin_t	Plugin_Id = 0x1115000000000000

%cps.cps2ds_dep
enum class	cps2ds_dep : flags_t
const Def *	op_cps2ds_dep (const Def *k)

Detailed Description

The CPS Plugin

Enumeration Type Documentation

conv

enum class mim::plug::cps::conv : flags_t

strong

Definition at line 28 of file autogen.h.

cps2ds

enum class mim::plug::cps::cps2ds : flags_t

strong

Definition at line 21 of file autogen.h.

cps2ds_dep

enum class mim::plug::cps::cps2ds_dep : flags_t

strong

Definition at line 14 of file autogen.h.

Function Documentation

convertible()

bool mim::plug::cps::convertible ( Lam * lam )

static

A term-level, direct-style function that we can and want to convert.

Type-level and higher-order functions stay in direct style.

Definition at line 9 of file conv.cpp.

References mim::Lam::codom(), mim::Def::is_annex(), mim::Def::is_external(), mim::Def::is_set(), and mim::Lam::isa_cn().

Referenced by mim::plug::cps::Conv::rewrite_mut_Lam().

op_cps2ds_dep()

const Def * mim::plug::cps::op_cps2ds_dep ( const Def * k )

inline

Definition at line 16 of file cps.h.

References mim::Pi::dom(), mim::Pi::isa_cn(), mim::VarRewriter::rewrite(), mim::Def::type(), and mim::Def::world().

Referenced by mim::plug::autodiff::phase::Eval::augment_app(), mim::plug::autodiff::phase::Eval::augment_pack(), mim::plug::matrix::phase::LowerMatrixHighLevelMapRed::rewrite_imm_App(), and mim::plug::matrix::phase::LowerMatrixMediumLevel::rewrite_imm_App().

Variable Documentation

Plugin_Id

plugin_t mim::plug::cps::Plugin_Id = 0x1115000000000000

staticconstexpr

Definition at line 10 of file autogen.h.