Trait mice::cost::Cost

pub trait Cost<'a, Ctx> {
    type Param;

    fn cost(&'a self, param: Self::Param) -> Price;
}

Cost of using a dice program in a given context.

Required Associated Types

type Param

A runtime parameter for extra context information, should the Ctx type argument be insufficient for determining the cost of handling dice expressions in a given context. Where unimportant, this should be ().

Required Methods

fn cost(&'a self, param: Self::Param) -> Price

Implementors

impl<'a> Cost<'a, TextFormatOutput<Default>> for Program

type Param = ()

impl<'a> Cost<'a, AstInterp> for Program

type Param = ()

impl<'a> Cost<'a, MirStack> for Program

type Param = ()

impl<'a> Cost<'a, StackInterp> for Program

type Param = ()