metadsl
latest
Usage
Motivation
Longer Version
History
Simple Arrays
Concepts
Expression
Rewrite Strategies
Roadmap
Prototype of initial NumPy API
1. NumPy API
2. Execute Torch / Tensorflow
3. Optimize Operations
Matching System
Contributing
Development
Tests
Debugging
Docs
Requirements
Publishing
API
typez
metadsl
metadsl.normalized
metadsl.typing_tools
metadsl.dict_tools
metadsl_core
metadsl_core.abstraction
metadsl_core.boolean
metadsl_core.conversion
metadsl_core.either
metadsl_core.function
metadsl_core.integer
metadsl_core.maybe
metadsl_core.pair
metadsl_core.vec
metadsl_llvm.ctypes
metadsl
»
Index
Edit on GitHub
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
K
|
L
|
M
|
N
|
O
|
P
|
R
|
S
|
T
|
U
|
V
|
W
|
Z
A
Abstraction (class in metadsl_core)
(class in metadsl_core.abstraction)
abstraction (metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
and_ (metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
append (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
args (metadsl.Children attribute)
(metadsl.Expression attribute)
(metadsl.IteratedPlaceholder attribute)
(metadsl.normalized.Children attribute)
(metadsl.PlaceholderExpression attribute)
(metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
(metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
(metadsl_core.conversion.Converter attribute)
(metadsl_core.Converter attribute)
(metadsl_core.Either attribute)
(metadsl_core.either.Either attribute)
(metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.function.FunctionZero attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
(metadsl_core.FunctionZero attribute)
(metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
(metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
(metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
(metadsl_core.Selection attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Selection attribute)
(metadsl_core.vec.Vec attribute)
(metadsl_llvm.ctypes.CFunctionType attribute)
(metadsl_llvm.ctypes.CType attribute)
(typez.CallNode attribute)
asdict() (typez.Typez method)
B
Boolean (class in metadsl_core)
(class in metadsl_core.boolean)
BoundInfer (class in metadsl.typing_tools)
box (metadsl_llvm.ctypes.CFunctionType attribute)
(metadsl_llvm.ctypes.CType attribute)
C
c_int (metadsl_llvm.ctypes.CType attribute)
CallNode (class in typez)
CaptureLogging (class in metadsl)
CFunctionType (class in metadsl_llvm.ctypes)
Children (class in metadsl)
(class in metadsl.normalized)
children (metadsl.ExpressionReference property)
(metadsl.normalized.ExpressionReference property)
clone_expression() (in module metadsl)
collapse_maybe() (in module metadsl_core)
(in module metadsl_core.maybe)
convert (metadsl_core.conversion.Converter attribute)
(metadsl_core.Converter attribute)
Converter (class in metadsl_core)
(class in metadsl_core.conversion)
create (metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
(metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
(metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.function.FunctionZero attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
(metadsl_core.FunctionZero attribute)
(metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
(metadsl_llvm.ctypes.CFunctionType attribute)
create_fn (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
create_indices (metadsl_core.Selection attribute)
(metadsl_core.vec.Selection attribute)
create_iterated_placeholder() (in module metadsl)
create_slice (metadsl_core.Selection attribute)
(metadsl_core.vec.Selection attribute)
create_slice_optional (metadsl_core.Selection attribute)
(metadsl_core.vec.Selection attribute)
create_variable (metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
CType (class in metadsl_llvm.ctypes)
D
DeclaredType (class in typez)
DeclaredTypeInstance (class in typez)
default (metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
definitions (typez.Typez attribute)
descendents (metadsl.ExpressionReference property)
(metadsl.normalized.ExpressionReference property)
drop (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
E
Either (class in metadsl_core)
(class in metadsl_core.either)
empty (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
eq (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
events (metadsl.CaptureLogging attribute)
ExpandedType (class in metadsl.typing_tools)
export_from() (in module metadsl)
Expression (class in metadsl)
expression (metadsl.ExpressionReference property)
(metadsl.normalized.ExpressionReference property)
expression() (in module metadsl)
ExpressionReference (class in metadsl)
(class in metadsl.normalized)
ExternalType (class in typez)
ExternalTypeInstance (class in typez)
F
false (metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
first (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
fix() (metadsl_core.Abstraction static method)
(metadsl_core.abstraction.Abstraction static method)
flat_map (metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
fn (metadsl.typing_tools.BoundInfer attribute)
fold (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
from_expression() (metadsl.ExpressionReference class method)
(metadsl.normalized.ExpressionReference class method)
from_fn (metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
(metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.function.FunctionZero attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
(metadsl_core.FunctionZero attribute)
from_fn_recursive (metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
from_int (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
Function (class in typez)
function (metadsl.Expression attribute)
(metadsl.IteratedPlaceholder attribute)
(metadsl.PlaceholderExpression attribute)
(metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
(metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
(metadsl_core.conversion.Converter attribute)
(metadsl_core.Converter attribute)
(metadsl_core.Either attribute)
(metadsl_core.either.Either attribute)
(metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.function.FunctionZero attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
(metadsl_core.FunctionZero attribute)
(metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
(metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
(metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
(metadsl_core.Selection attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Selection attribute)
(metadsl_core.vec.Vec attribute)
(metadsl_llvm.ctypes.CFunctionType attribute)
(metadsl_llvm.ctypes.CType attribute)
(typez.CallNode attribute)
FunctionOne (class in metadsl_core)
(class in metadsl_core.function)
FunctionThree (class in metadsl_core)
(class in metadsl_core.function)
FunctionTwo (class in metadsl_core)
(class in metadsl_core.function)
FunctionZero (class in metadsl_core)
(class in metadsl_core.function)
G
GenericCheck (class in metadsl.typing_tools)
get_arg_hints() (in module metadsl.typing_tools)
get_fn_typevars() (in module metadsl.typing_tools)
get_origin_type() (in module metadsl.typing_tools)
get_type() (in module metadsl.typing_tools)
H
hash (metadsl.ExpressionReference property)
(metadsl.normalized.ExpressionReference property)
Hash() (in module metadsl)
(in module metadsl.normalized)
hash_value() (in module metadsl)
(in module metadsl.normalized)
HashableMapping (class in metadsl)
(class in metadsl.dict_tools)
I
id (typez.CallNode attribute)
(typez.PrimitiveNode attribute)
if_ (metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
inc (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
infer() (in module metadsl.typing_tools)
infer_return_type() (in module metadsl.typing_tools)
infinity (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
initial (typez.States attribute)
Integer (class in metadsl_core)
(class in metadsl_core.integer)
is_classmethod (metadsl.typing_tools.BoundInfer attribute)
Item (class in metadsl)
(class in metadsl.dict_tools)
IteratedPlaceholder (class in metadsl)
J
just (metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
K
key (metadsl.dict_tools.Item attribute)
(metadsl.Item attribute)
Kind (class in typez)
kwargs (metadsl.Children attribute)
(metadsl.Expression attribute)
(metadsl.IteratedPlaceholder attribute)
(metadsl.normalized.Children attribute)
(metadsl.PlaceholderExpression attribute)
(metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
(metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
(metadsl_core.conversion.Converter attribute)
(metadsl_core.Converter attribute)
(metadsl_core.Either attribute)
(metadsl_core.either.Either attribute)
(metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.function.FunctionZero attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
(metadsl_core.FunctionZero attribute)
(metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
(metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
(metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
(metadsl_core.Selection attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Selection attribute)
(metadsl_core.vec.Vec attribute)
(metadsl_llvm.ctypes.CFunctionType attribute)
(metadsl_llvm.ctypes.CType attribute)
(typez.CallNode attribute)
L
label (typez.State attribute)
left (metadsl_core.Either attribute)
(metadsl_core.either.Either attribute)
(metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
length (metadsl_core.Selection attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Selection attribute)
(metadsl_core.vec.Vec attribute)
lift_maybe (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
logs (typez.State attribute)
M
map (metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
(metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
match (metadsl_core.Either attribute)
(metadsl_core.either.Either attribute)
(metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
match_functions() (in module metadsl.typing_tools)
match_types() (in module metadsl.typing_tools)
match_values() (in module metadsl.typing_tools)
Maybe (class in metadsl_core)
(class in metadsl_core.maybe)
merge_typevars() (in module metadsl.typing_tools)
metadsl
module
metadsl.dict_tools
module
metadsl.normalized
module
metadsl.typing_tools
module
metadsl_core
module
metadsl_core.abstraction
module
metadsl_core.boolean
module
metadsl_core.conversion
module
metadsl_core.either
module
metadsl_core.function
module
metadsl_core.integer
module
metadsl_core.maybe
module
metadsl_core.pair
module
metadsl_core.vec
module
metadsl_llvm.ctypes
module
module
metadsl
metadsl.dict_tools
metadsl.normalized
metadsl.typing_tools
metadsl_core
metadsl_core.abstraction
metadsl_core.boolean
metadsl_core.conversion
metadsl_core.either
metadsl_core.function
metadsl_core.integer
metadsl_core.maybe
metadsl_core.pair
metadsl_core.vec
metadsl_llvm.ctypes
typez
N
name (metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.function.FunctionZero attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
(metadsl_core.FunctionZero attribute)
new_to_old (metadsl_core.Selection attribute)
(metadsl_core.vec.Selection attribute)
node (typez.State attribute)
nodes (typez.Typez attribute)
nothing (metadsl_core.Maybe attribute)
(metadsl_core.maybe.Maybe attribute)
O
OfType (class in metadsl.typing_tools)
old_handlers (metadsl.CaptureLogging attribute)
old_to_new (metadsl_core.Selection attribute)
(metadsl_core.vec.Selection attribute)
one (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
or_ (metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
owner (metadsl.typing_tools.BoundInfer attribute)
P
Pair (class in metadsl_core)
(class in metadsl_core.pair)
param (typez.TypeParameter attribute)
params (typez.DeclaredType attribute)
(typez.DeclaredTypeInstance attribute)
(typez.Function attribute)
(typez.Kind attribute)
PlaceholderExpression (class in metadsl)
PrimitiveNode (class in typez)
R
register_convert() (in module metadsl_core)
register_core() (in module metadsl_core)
register_ds() (in module metadsl_core)
replace() (metadsl.ExpressionReference method)
(metadsl.normalized.ExpressionReference method)
replace_fn_typevars() (in module metadsl.typing_tools)
replace_typevars() (in module metadsl.typing_tools)
repr (typez.ExternalType attribute)
(typez.ExternalTypeInstance attribute)
(typez.PrimitiveNode attribute)
rest_param (typez.Function attribute)
return_ (typez.Function attribute)
right (metadsl_core.Either attribute)
(metadsl_core.either.Either attribute)
(metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
rule (typez.State attribute)
S
safe_merge() (in module metadsl)
(in module metadsl.dict_tools)
select (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
Selection (class in metadsl_core)
(class in metadsl_core.vec)
set (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
set_left (metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
set_right (metadsl_core.Pair attribute)
(metadsl_core.pair.Pair attribute)
set_selection (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
spread (metadsl_core.Pair property)
(metadsl_core.pair.Pair property)
State (class in typez)
States (class in typez)
states (typez.States attribute)
(typez.Typez attribute)
T
take (metadsl_core.Vec attribute)
(metadsl_core.vec.Vec attribute)
ToCallable (class in metadsl.typing_tools)
toggle_debug_logging() (in module metadsl)
true (metadsl_core.Boolean attribute)
(metadsl_core.boolean.Boolean attribute)
type (typez.DeclaredType attribute)
(typez.DeclaredTypeInstance attribute)
(typez.ExternalType attribute)
(typez.PrimitiveNode attribute)
type_params (typez.CallNode attribute)
(typez.Function attribute)
TypeParameter (class in typez)
typevars_in_scope (metadsl.typing_tools.TypeVarScope attribute)
TypeVarScope (class in metadsl.typing_tools)
typez
module
Typez (class in typez)
typez (typez.TypezDisplay property)
TypezDisplay (class in typez)
U
unfix (metadsl_core.Abstraction attribute)
(metadsl_core.abstraction.Abstraction attribute)
(metadsl_core.function.FunctionOne attribute)
(metadsl_core.function.FunctionThree attribute)
(metadsl_core.function.FunctionTwo attribute)
(metadsl_core.FunctionOne attribute)
(metadsl_core.FunctionThree attribute)
(metadsl_core.FunctionTwo attribute)
UnhashableMapping (class in metadsl)
(class in metadsl.dict_tools)
V
value (metadsl.dict_tools.Item attribute)
(metadsl.Item attribute)
(metadsl_core.function.FunctionZero property)
(metadsl_core.FunctionZero property)
Variable (class in metadsl_core)
(class in metadsl_core.abstraction)
Vec (class in metadsl_core)
(class in metadsl_core.vec)
W
wrapper (metadsl.typing_tools.BoundInfer attribute)
Z
zero (metadsl_core.Integer attribute)
(metadsl_core.integer.Integer attribute)
Read the Docs
v: latest
Versions
latest
stable
Downloads
On Read the Docs
Project Home
Builds