Package: tccquickr 0.0.0.9000

tccquickr: Typed Experimental R Transformation Core

A hard-reset experimental compiler core for a declared subset of R. The package now starts from typed schemas, classed diagnostics, explicit compiler contracts, shape-aware intermediate representations, and generic backend planning. Initial source printers consume a backend-neutral lowered program rather than owning compiler semantics.

Authors:Sounkou Mahamane Toure [aut, cre]

tccquickr_0.0.0.9000.tar.gz
tccquickr_0.0.0.9000.zip(r-4.7-any)tccquickr_0.0.0.9000.zip(r-4.6-any)tccquickr_0.0.0.9000.zip(r-4.5-any)
tccquickr_0.0.0.9000.tgz(r-4.6-any)tccquickr_0.0.0.9000.tgz(r-4.5-any)
tccquickr_0.0.0.9000.tar.gz(r-4.7-any)tccquickr_0.0.0.9000.tar.gz(r-4.6-any)
tccquickr_0.0.0.9000.tgz(r-4.6-emscripten)
manual.pdf |manual.html✨
DESCRIPTION
card.svg |card.png
tccquickr/json (API)

# Install 'tccquickr' in R:

install.packages('tccquickr', repos = c('https://sounkou-bioinfo.r-universe.dev', 'https://cloud.r-project.org'))

Bug tracker:https://github.com/sounkou-bioinfo/tccquickr/issues

On CRAN:

3.61 score 3 stars 1 packages 7 scripts 216 exports 3 dependencies

Last updated from:d70ac0ed60. Checks:9 OK. Indexed: yes.

Target	Result	Time
linux-devel	OK	199
source / vignettes	OK	153
linux-release	OK	226
macos-release	OK	698
macos-oldrel	OK	342
windows-devel	OK	148
windows-release	OK	148
windows-oldrel	OK	144
wasm-release	OK	77

Exports:tccq_access tccq_analyze tccq_arg_reduction_spec tccq_arity tccq_arity_accepts tccq_assignment tccq_backend_allocation_binding tccq_backend_artifact tccq_backend_context tccq_backend_error_channel tccq_backend_extent_binding tccq_backend_function_interface tccq_backend_plan tccq_backend_plan_set tccq_backend_prepare tccq_backend_products tccq_backend_spec tccq_backend_value_binding tccq_binding tccq_binding_reference tccq_branch tccq_bridge_plan tccq_c_backend tccq_call tccq_call_index tccq_call_name tccq_call_semantics tccq_cell tccq_cell_reference tccq_collect_call_index tccq_collect_call_semantics tccq_collect_calls tccq_compile tccq_completion tccq_condition_diagnostic tccq_conditional tccq_contraction_spec tccq_core_backends tccq_default_op_registry tccq_diagnostic tccq_dim_affine tccq_dim_constant tccq_dim_equal tccq_dim_symbol tccq_dim_unknown tccq_dimension_reference tccq_domain tccq_domain_policy tccq_domain_policy_result_shape tccq_effect tccq_effect_union tccq_elementwise_domain_policy tccq_elementwise_expression tccq_elementwise_result_type tccq_elementwise_spec tccq_evaluation_step tccq_expression tccq_expression_reference tccq_expression_tree tccq_for tccq_fortran_backend tccq_fusion_contract tccq_fusion_group tccq_if tccq_index_expr tccq_index_proof tccq_indexed_value tccq_iteration_plan tccq_iteration_spec tccq_literal tccq_literal_finite tccq_literal_inf tccq_literal_na tccq_literal_nan tccq_local_binding tccq_loop_axis tccq_loop_guard tccq_loop_nest tccq_loop_transfer tccq_lower_function tccq_lowered_operation tccq_op_body tccq_op_context tccq_op_impl tccq_op_registry tccq_op_registry_add tccq_op_render tccq_op_render_context tccq_op_signature tccq_op_signature_result_type tccq_op_supports tccq_opaque_op_impl tccq_optimize tccq_plan_backend tccq_plan_backends tccq_program tccq_program_loop_nest tccq_program_loop_nests tccq_program_schedule tccq_reduction_identity tccq_reduction_plan tccq_reduction_spec tccq_reduction_state_component tccq_region tccq_registry_supports tccq_repeat tccq_resolve_call tccq_resolved_op tccq_result tccq_rtinycc_backend tccq_shape tccq_storage_allocation tccq_storage_lifetime tccq_storage_plan tccq_storage_slot tccq_subscript_spec tccq_switch tccq_type tccq_unimplemented_calls tccq_value tccq_value_block tccq_verify_optimization tccq_while tccq_write_target TccqAccess TccqArgReductionSpec TccqArity TccqAssignment TccqBackend TccqBackendAllocationBinding TccqBackendArtifact TccqBackendContext TccqBackendErrorChannel TccqBackendExtentBinding TccqBackendFunctionInterface TccqBackendPlan TccqBackendPlanSet TccqBackendProducts TccqBackendSpec TccqBackendValueBinding TccqBinding TccqBindingReference TccqBlock TccqBranch TccqBridgePlan TccqCall TccqCallIndex TccqCallSemantics TccqCell TccqCellReference TccqConditional TccqContractionSpec TccqControlCompletion TccqDeadStoreOptimization TccqDiagnostic TccqDim TccqDimensionReference TccqDomain TccqDomainPolicy TccqEffect TccqElementwiseSpec TccqEvaluationStep TccqExpression TccqExpressionReference TccqFoldReductionSpec TccqFor TccqFusionContract TccqFusionGroup TccqIf TccqIndexedValue TccqIndexExpr TccqIndexProof TccqIterationPlan TccqIterationSpec TccqLiteral TccqLocalBinding TccqLoop TccqLoopAxis TccqLoopGuard TccqLoopNest TccqLoopTransfer TccqLoweredOperation TccqLoweringPlan TccqOpBody TccqOpContext TccqOpImpl TccqOpImplementation TccqOpRegistry TccqOpRenderContext TccqOpSignature TccqProgram TccqProgramBody TccqProgramOptimization TccqProgramSchedule TccqReductionPlan TccqReductionSpec TccqReductionState TccqReductionStateComponent TccqRegion TccqRepeat TccqResolvedOp TccqResult TccqShape TccqStatement TccqStorageAllocation TccqStorageLifetime TccqStoragePlan TccqStorageSlot TccqSubscriptSpec TccqSwitch TccqType TccqValue TccqValueBlock TccqValueGraph TccqWhile TccqWriteTarget

Dependencies:codetools S7 s7contract

Citation

Development and contributors

Readme and manuals

Help Manual

Help page	Topics
Construct a domain access mapping	tccq_access
Analyze a declared R function into the fresh program schema	tccq_analyze
Construct argument-selection reduction metadata	tccq_arg_reduction_spec
Construct an operation arity contract	tccq_arity
Test an operation arity contract	tccq_arity_accepts
Construct a neutral assignment	tccq_assignment
Construct a backend allocation binding	tccq_backend_allocation_binding
Construct a backend artifact	tccq_backend_artifact
Construct a backend planning context	tccq_backend_context
Construct a backend callable error channel	tccq_backend_error_channel
Construct a backend extent binding	tccq_backend_extent_binding
Construct a backend function interface	tccq_backend_function_interface
Construct a backend plan	tccq_backend_plan
Construct a backend plan set	tccq_backend_plan_set
Prepare a backend plan	tccq_backend_prepare
Construct backend products	tccq_backend_products
Construct a backend implementation descriptor	tccq_backend_spec
Construct a backend value binding	tccq_backend_value_binding
Construct a program binding	tccq_binding
Construct a local binding reference	tccq_binding_reference
Construct a lazy conditional IR value	tccq_branch
Construct a backend bridge plan	tccq_bridge_plan
Generic C backend descriptor	tccq_c_backend
Construct an observed call	tccq_call
Construct a typed call index	tccq_call_index
Return the name of an R call	tccq_call_name
Construct call evaluator facts	tccq_call_semantics
Construct a mutable lexical cell	tccq_cell
Construct a lowered mutable-cell read	tccq_cell_reference
Collect a typed call index from an R expression	tccq_collect_call_index
Collect evaluator facts for calls	tccq_collect_call_semantics
Collect calls from an R expression	tccq_collect_calls
Compile a declared R function	tccq_compile
Compute structured control completion	tccq_completion
Extract a diagnostic from a compiler condition	tccq_condition_diagnostic
Construct a value-producing neutral conditional	tccq_conditional
Construct contraction implementation metadata	tccq_contraction_spec
Core backend suite	tccq_core_backends
Default operation registry for the reset frontend	tccq_default_op_registry
Create a compiler diagnostic	tccq_diagnostic
Construct an affine dimension	tccq_dim_affine
Construct a constant dimension	tccq_dim_constant
Compare two dimensions for semantic equality	tccq_dim_equal
Construct a symbolic dimension	tccq_dim_symbol
Construct an unknown dimension	tccq_dim_unknown
Construct a typed declared-dimension reference	tccq_dimension_reference
Construct an iteration domain	tccq_domain
Construct operation domain policy metadata	tccq_domain_policy
Return an operation domain-policy result shape	tccq_domain_policy_result_shape
Construct an effect summary	tccq_effect
Combine effect summaries	tccq_effect_union
Construct the standard elementwise domain policy	tccq_elementwise_domain_policy
Build a registered elementwise expression	tccq_elementwise_expression
Return an elementwise operation result type	tccq_elementwise_result_type
Construct elementwise implementation metadata	tccq_elementwise_spec
Construct a scheduled R evaluation	tccq_evaluation_step
Construct a backend-neutral expression	tccq_expression
Construct a typed expression reference	tccq_expression_reference
Build a backend-neutral expression tree from a lowered value graph	tccq_expression_tree
Construct a neutral for statement	tccq_for
Quickr-style Fortran backend descriptor	tccq_fortran_backend
Construct a fusion operation contract	tccq_fusion_contract
Construct a fusion group	tccq_fusion_group
Construct a neutral procedural if	tccq_if
Construct an affine index expression	tccq_index_expr
Construct a proven affine scalar index	tccq_index_proof
Construct a proven scalar indexed read	tccq_indexed_value
Construct a backend-neutral iteration plan	tccq_iteration_plan
Construct iteration implementation metadata	tccq_iteration_spec
Construct a scalar literal	tccq_literal
Construct a finite scalar literal	tccq_literal_finite
Construct an infinite double literal	tccq_literal_inf
Construct a typed NA literal	tccq_literal_na
Construct a NaN literal	tccq_literal_nan
Construct a local value binding	tccq_local_binding
Construct a loop-nest iteration axis	tccq_loop_axis
Construct a selected-arm loop guard	tccq_loop_guard
Construct a loop nest	tccq_loop_nest
Construct a neutral loop transfer	tccq_loop_transfer
Lower a declared function into a backend-neutral plan	tccq_lower_function
Construct a lowered operation payload	tccq_lowered_operation
Construct a backend-neutral operation body	tccq_op_body
Construct an operation support context	tccq_op_context
Construct an operation implementation	tccq_op_impl
Construct an operation registry	tccq_op_registry
Add operation implementations to a registry	tccq_op_registry_add
Render an operation implementation for source output	tccq_op_render
Construct an operation source-rendering context	tccq_op_render_context
Construct operation signature metadata	tccq_op_signature
Return an operation signature result type	tccq_op_signature_result_type
Query operation implementation support	tccq_op_supports
Opaque operation implementation	tccq_opaque_op_impl
Optimize a typed program	tccq_optimize
Plan a backend for a typed program	tccq_plan_backend
Plan several backends for a typed program	tccq_plan_backends
Construct a program schema	tccq_program
Plan the loop nest for a single-nest lowered program	tccq_program_loop_nest
Plan the ordered loop nests for a lowered program	tccq_program_loop_nests
Construct an ordered program evaluation schedule	tccq_program_schedule
Return a reducer identity literal	tccq_reduction_identity
Build a neutral reduction plan	tccq_reduction_plan
Construct reduction implementation metadata	tccq_reduction_spec
Construct a reduction-state component	tccq_reduction_state_component
Construct an executable code region	tccq_region
Query whether any registry implementation supports a call	tccq_registry_supports
Construct a neutral repeat statement	tccq_repeat
Resolve a call to one operation implementation	tccq_resolve_call
Construct a resolved operation	tccq_resolved_op
Create a compiler result	tccq_result
Rtinycc backend descriptor	tccq_rtinycc_backend
Construct a shape	tccq_shape
Construct a physical storage allocation	tccq_storage_allocation
Construct a storage lifetime interval	tccq_storage_lifetime
Construct a storage plan	tccq_storage_plan
Construct a storage slot	tccq_storage_slot
Construct subscript implementation metadata	tccq_subscript_spec
Construct a neutral positional switch	tccq_switch
Construct a compiler type	tccq_type
Find calls without an implementation for a registry and context	tccq_unimplemented_calls
Construct an IR value	tccq_value
Construct a value-producing neutral statement block	tccq_value_block
Verify an optimized program	tccq_verify_optimization
Construct a neutral while statement	tccq_while
Construct a neutral write target	tccq_write_target
Domain access mapping	TccqAccess
Argument-selection reduction metadata	TccqArgReductionSpec
Operation arity contract	TccqArity
Neutral assignment statement	TccqAssignment
Backend implementation trait	TccqBackend
Backend allocation binding	TccqBackendAllocationBinding
Backend artifact	TccqBackendArtifact
Backend planning context	TccqBackendContext
Backend callable error channel	TccqBackendErrorChannel
Backend extent binding	TccqBackendExtentBinding
Backend function interface	TccqBackendFunctionInterface
Backend plan	TccqBackendPlan
Backend plan set	TccqBackendPlanSet
Backend products	TccqBackendProducts
Backend implementation descriptor	TccqBackendSpec
Backend value binding	TccqBackendValueBinding
Program binding	TccqBinding
Local binding reference	TccqBindingReference
Neutral statement block	TccqBlock
Lazy conditional IR value	TccqBranch
Backend bridge plan	TccqBridgePlan
R call observed by the frontend	TccqCall
Indexed frontend call facts	TccqCallIndex
R call evaluator facts	TccqCallSemantics
Mutable lexical cell	TccqCell
Lowered mutable-cell read	TccqCellReference
Value-producing neutral conditional	TccqConditional
Contraction implementation metadata	TccqContractionSpec
Structured control completion	TccqControlCompletion
Dead-store optimization	TccqDeadStoreOptimization
Compiler diagnostic value	TccqDiagnostic
Shape dimension	TccqDim
Typed declared-dimension reference	TccqDimensionReference
Iteration domain	TccqDomain
Operation domain policy	TccqDomainPolicy
Compiler effect summary	TccqEffect
Elementwise implementation metadata	TccqElementwiseSpec
Scheduled R evaluation	TccqEvaluationStep
Backend-neutral expression tree	TccqExpression
Typed expression reference	TccqExpressionReference
Scalar fold reduction metadata	TccqFoldReductionSpec
Neutral for statement	TccqFor
Fusion operation contract	TccqFusionContract
Fusion group	TccqFusionGroup
Neutral procedural if statement	TccqIf
Proven scalar indexed read	TccqIndexedValue
Affine index expression	TccqIndexExpr
Proven affine scalar index	TccqIndexProof
Backend-neutral iteration plan	TccqIterationPlan
Iteration implementation metadata	TccqIterationSpec
Scalar literal value	TccqLiteral
Local value binding	TccqLocalBinding
Neutral sequential loop	TccqLoop
Loop-nest iteration axis	TccqLoopAxis
Selected-arm loop guard	TccqLoopGuard
Loop-nest program plan	TccqLoopNest
Neutral loop transfer statement	TccqLoopTransfer
Lowered operation payload	TccqLoweredOperation
Lowering plan	TccqLoweringPlan
Backend-neutral operation body	TccqOpBody
Operation support query context	TccqOpContext
Operation implementation descriptor	TccqOpImpl
Operation implementation trait	TccqOpImplementation
Operation registry	TccqOpRegistry
Operation source-rendering context	TccqOpRenderContext
Operation signature metadata	TccqOpSignature
Program schema	TccqProgram
Backend-neutral program body	TccqProgramBody
Program optimization trait	TccqProgramOptimization
Ordered program evaluation schedule	TccqProgramSchedule
Closed neutral reduction plan	TccqReductionPlan
Reduction implementation metadata	TccqReductionSpec
Typed neutral reduction state	TccqReductionState
Reduction-state component	TccqReductionStateComponent
Executable code region	TccqRegion
Neutral repeat statement	TccqRepeat
Resolved operation implementation	TccqResolvedOp
Compiler result value	TccqResult
Shape value	TccqShape
Neutral statement	TccqStatement
Physical storage allocation	TccqStorageAllocation
Storage lifetime interval	TccqStorageLifetime
Storage plan	TccqStoragePlan
Storage slot	TccqStorageSlot
Subscript implementation metadata	TccqSubscriptSpec
Neutral positional switch statement	TccqSwitch
Declared compiler type	TccqType
IR value	TccqValue
Value-producing neutral statement block	TccqValueBlock
Typed lowered value graph	TccqValueGraph
Neutral while statement	TccqWhile
Neutral write target	TccqWriteTarget