Language.Hakaru.Evaluation.Lazy

Lazy partial evaluation.

BUG: completely gave up on structure sharing. Need to add that back in. cf., gvidal-lopstr07lncs.pdf for an approach much like my old one.

Documentation

evaluate :: forall abt m p. (ABT Term abt, EvaluationMonad abt m p) => MeasureEvaluator abt m -> TermEvaluator abt m

Lazy partial evaluation with some given "perform" and "evaluateCase" functions. N.B., if p ~ 'Pure then the "perform" function will never be called.

Helper functions

evaluateNaryOp :: (ABT Term abt, EvaluationMonad abt m p) => TermEvaluator abt m -> NaryOp a -> Seq (abt '[] a) -> m (Whnf abt a)

evaluatePrimOp :: forall abt m p typs args a. (ABT Term abt, EvaluationMonad abt m p, typs ~ UnLCs args, args ~ LCs typs) => TermEvaluator abt m -> PrimOp typs a -> SArgs abt args -> m (Whnf abt a)

evaluateArrayOp :: (ABT Term abt, EvaluationMonad abt m p, typs ~ UnLCs args, args ~ LCs typs) => TermEvaluator abt m -> ArrayOp typs a -> SArgs abt args -> m (Whnf abt a)

Helpers that should really go away

class Interp a a' | a -> a' where

Minimal complete definition

reify, reflect

Methods

reify :: ABT Term abt => Head abt a -> a'

reflect :: ABT Term abt => a' -> Head abt a

Instances

Interp HUnit ()

Methods

reify :: ABT Term abt => Head abt HUnit -> ()

reflect :: ABT Term abt => () -> Head abt HUnit

Interp HBool Bool

Methods

reify :: ABT Term abt => Head abt HBool -> Bool

reflect :: ABT Term abt => Bool -> Head abt HBool

Interp HNat Natural

Methods

reify :: ABT Term abt => Head abt HNat -> Natural

reflect :: ABT Term abt => Natural -> Head abt HNat

Interp HInt Integer

Methods

reify :: ABT Term abt => Head abt HInt -> Integer

reflect :: ABT Term abt => Integer -> Head abt HInt

Interp HProb NonNegativeRational

Methods

reify :: ABT Term abt => Head abt HProb -> NonNegativeRational

reflect :: ABT Term abt => NonNegativeRational -> Head abt HProb

Interp HReal Rational

Methods

reify :: ABT Term abt => Head abt HReal -> Rational

reflect :: ABT Term abt => Rational -> Head abt HReal

reifyPair :: ABT Term abt => Head abt (HPair a b) -> (abt '[] a, abt '[] b)