Skip to main content

lookup_via_default_impl

conjure_cp::representation::default_impls

Function lookup_via_default_impl 

Source 
pub fn lookup_via_default_impl<DeclL, A>(
    decl_level: &DeclL,
    lookup: &Box<dyn Fn(&DeclarationPtr) -> Option<Literal> + '_>,
) -> Result<A, ReprUpError>
where
    DeclL: Clone + TryFuncMap<DeclarationPtr, Literal, Output = A>,
Expand description

Implement [ReprDeclLevel::lookup_via] as a functor S<DeclarationPtr> -> S<Literal>.