Index

A

abs() (in module effectful.handlers.numbers) add() (in module effectful.handlers.numbers) analyze() (effectful.ops.syntax.Scoped method) and_() (in module effectful.handlers.numbers)

Annotation (class in effectful.ops.types) apply() (effectful.handlers.pyro.Naming method) (in module effectful.ops.semantics), [1] args (effectful.ops.types.Term property)

B

bind_dims() (in module effectful.handlers.torch)

C

call() (in module effectful.ops.semantics) canonicalize() (in module effectful.internals.unification)

cond() (in module effectful.handlers.indexed) cond_n() (in module effectful.handlers.indexed) coproduct() (in module effectful.ops.semantics)

D

defdata() (in module effectful.ops.syntax) deffn() (in module effectful.ops.syntax), [1]

defop() (in module effectful.ops.syntax) defstream() (in module effectful.ops.syntax) defterm() (in module effectful.ops.syntax)

E

effectful.handlers module effectful.handlers.indexed module effectful.handlers.numbers module effectful.handlers.pyro module effectful.handlers.torch module effectful.internals module effectful.internals.runtime module

effectful.internals.unification module effectful.ops module effectful.ops.semantics module effectful.ops.syntax module effectful.ops.types module eq() (in module effectful.handlers.numbers) evaluate() (in module effectful.ops.semantics)

F

floordiv() (in module effectful.handlers.numbers) freetypevars() (in module effectful.internals.unification)

from_shape() (effectful.handlers.pyro.Naming static method) fvsof() (in module effectful.ops.semantics) fwd() (in module effectful.ops.semantics), [1]

G

gather() (in module effectful.handlers.indexed) ge() (in module effectful.handlers.numbers) get() (effectful.ops.types.Interpretation method)

get_interpretation() (in module effectful.internals.runtime) get_runtime() (in module effectful.internals.runtime) grad() (in module effectful.handlers.torch) gt() (in module effectful.handlers.numbers)

H

handler() (in module effectful.ops.semantics)

hessian() (in module effectful.handlers.torch)

I

implementations (effectful.ops.syntax.ObjectInterpretation attribute) implements() (in module effectful.ops.syntax) index() (in module effectful.handlers.numbers) IndexSet (class in effectful.handlers.indexed) indices_of() (in module effectful.handlers.indexed) infer_annotations() (effectful.ops.syntax.Scoped class method) (effectful.ops.types.Annotation class method)

Interpretation (class in effectful.ops.types) interpretation (effectful.internals.runtime.Runtime attribute) interpreter() (in module effectful.internals.runtime) invert() (in module effectful.handlers.numbers) items() (effectful.ops.types.Interpretation method) iter_() (in module effectful.ops.syntax)

J

jacfwd() (in module effectful.handlers.torch)

jacrev() (in module effectful.handlers.torch) jvp() (in module effectful.handlers.torch)

K

keys() (effectful.ops.types.Interpretation method)

kwargs (effectful.ops.types.Term property)

L

le() (in module effectful.handlers.numbers)

lshift() (in module effectful.handlers.numbers) lt() (in module effectful.handlers.numbers)

M

mod() (in module effectful.handlers.numbers) module effectful.handlers effectful.handlers.indexed effectful.handlers.numbers effectful.handlers.pyro effectful.handlers.torch effectful.internals effectful.internals.runtime effectful.internals.unification effectful.ops effectful.ops.semantics effectful.ops.syntax effectful.ops.types

mul() (in module effectful.handlers.numbers)

N

name_to_sym() (in module effectful.handlers.indexed) Naming (class in effectful.handlers.pyro)

neg() (in module effectful.handlers.numbers) nested_type() (in module effectful.internals.unification) next_() (in module effectful.ops.syntax)

O

ObjectInterpretation (class in effectful.ops.syntax) op (effectful.ops.types.Term property)

Operation (class in effectful.ops.types) or_() (in module effectful.handlers.numbers) ordinal (effectful.ops.syntax.Scoped attribute)

P

pos() (in module effectful.handlers.numbers) pow() (in module effectful.handlers.numbers) product() (in module effectful.ops.semantics)

pyro_module_shim() (in module effectful.handlers.pyro) pyro_sample() (in module effectful.handlers.pyro), [1] PyroShim (class in effectful.handlers.pyro)

R

rshift() (in module effectful.handlers.numbers)

runner() (in module effectful.ops.semantics) Runtime (class in effectful.internals.runtime)

S

Scoped (class in effectful.ops.syntax) sizesof() (in module effectful.handlers.torch) stack() (in module effectful.handlers.indexed)

sub() (in module effectful.handlers.numbers) substitute() (in module effectful.internals.unification) syntactic_eq() (in module effectful.ops.syntax)

T

Term (class in effectful.ops.types) torch_getitem() (in module effectful.handlers.torch), [1]

trace() (in module effectful.ops.syntax) truediv() (in module effectful.handlers.numbers) typeof() (in module effectful.ops.semantics)

U

unbind_dims() (in module effectful.handlers.torch)

unify() (in module effectful.internals.unification) union() (in module effectful.handlers.indexed)

V

values() (effectful.ops.types.Interpretation method)

vjp() (in module effectful.handlers.torch) vmap() (in module effectful.handlers.torch)

X

xor() (in module effectful.handlers.numbers)