Todo List

Member construct_program (gr_pair< Ts... > &gr, program_info &info, std::optional< std::string > file_=std::nullopt)

more functionality coming – a work in progress

more information – a work in progress

Class DefaultPolicy< D >

– figure out open vs closed universe and representations of their semantics

Member display (record_t< DTypes< Ts... >> &record)

reimplement as instance of generic fold

Member parameter_match< D, Gamma, O, Ts... >::operator() (FilterValueType< O, Ts... > &result, std::string address)

– if this is a speed bottleneck, rewrite as single pass computation

Member value_collection_t< V >::filter (Callable f)

efficiency!

Member value_collection_t< V >::map (Callable f)

efficiency!

Member value_collection_t< V >::reduce (Callable fn)

efficiency!

implement foldl' and keep this as a special case