Index
Catlab.AlgebraCatlab.Algebra.NetworkCatlab.Algebra.Network.AlgebraicNetSignatureCatlab.Algebra.TreeCatlab.Doctrines.AbelianBicategoryRelationsCatlab.Doctrines.BicategoryRelationsCatlab.Doctrines.BiproductCategoryCatlab.Doctrines.CartesianCategoryCatlab.Doctrines.CartesianClosedCategoryCatlab.Doctrines.CategoryCatlab.Doctrines.Category2Catlab.Doctrines.CocartesianCategoryCatlab.Doctrines.CompactClosedCategoryCatlab.Doctrines.DaggerCategoryCatlab.Doctrines.DaggerCompactCategoryCatlab.Doctrines.FreeCartesianCategoryCatlab.Doctrines.FreeCartesianClosedCategoryCatlab.Doctrines.FreeCategory2Catlab.Doctrines.FreeCocartesianCategoryCatlab.Doctrines.MonoidalCategoryCatlab.Doctrines.MonoidalCategoryWithBidiagonalsCatlab.Doctrines.MonoidalCategoryWithCodiagonalsCatlab.Doctrines.MonoidalCategoryWithDiagonalsCatlab.Doctrines.SymmetricMonoidalCategoryCatlab.GATCatlab.Graphics.GraphvizCatlab.Graphics.GraphvizWiringDiagramsCatlab.Graphics.TikZCatlab.Graphics.TikZWiringDiagramsCatlab.Graphics.TikZWiringDiagrams.DefaultsCatlab.MetaCatlab.PresentCatlab.RewriteCatlab.SyntaxCatlab.WiringDiagrams.GraphMLWiringDiagramsCatlab.WiringDiagrams.JSONWiringDiagramsCatlab.WiringDiagrams.WiringDiagramAlgorithmsCatlab.WiringDiagrams.WiringDiagramCoreCatlab.WiringDiagrams.WiringDiagramSerializationCatlab.WiringDiagrams.WiringLayersCatlab.WiringDiagrams.YFilesWiringDiagramsCatlab.Algebra.Network.AlgebraicNet.HomCatlab.Algebra.Network.AlgebraicNet.ObCatlab.Algebra.Network.AlgebraicNetSignature.HomCatlab.Algebra.Network.AlgebraicNetSignature.ObCatlab.Algebra.Network.BlockCatlab.Algebra.Network.CompileStateCatlab.Algebra.Tree.##instance_doc#568Catlab.Algebra.Tree.FormulaCatlab.Doctrines.AbelianBicategoryRelations.HomCatlab.Doctrines.AbelianBicategoryRelations.ObCatlab.Doctrines.BicategoryRelations.HomCatlab.Doctrines.BicategoryRelations.ObCatlab.Doctrines.BiproductCategory.HomCatlab.Doctrines.BiproductCategory.ObCatlab.Doctrines.CartesianCategory.HomCatlab.Doctrines.CartesianCategory.ObCatlab.Doctrines.CartesianClosedCategory.HomCatlab.Doctrines.CartesianClosedCategory.ObCatlab.Doctrines.Category.HomCatlab.Doctrines.Category.ObCatlab.Doctrines.Category2.HomCatlab.Doctrines.Category2.Hom2Catlab.Doctrines.Category2.ObCatlab.Doctrines.CocartesianCategory.HomCatlab.Doctrines.CocartesianCategory.ObCatlab.Doctrines.CompactClosedCategory.HomCatlab.Doctrines.CompactClosedCategory.ObCatlab.Doctrines.DaggerCategory.HomCatlab.Doctrines.DaggerCategory.ObCatlab.Doctrines.DaggerCompactCategory.HomCatlab.Doctrines.DaggerCompactCategory.ObCatlab.Doctrines.FreeAbelianBicategoryRelations.HomCatlab.Doctrines.FreeAbelianBicategoryRelations.ObCatlab.Doctrines.FreeBicategoryRelations.HomCatlab.Doctrines.FreeBicategoryRelations.ObCatlab.Doctrines.FreeBiproductCategory.HomCatlab.Doctrines.FreeBiproductCategory.ObCatlab.Doctrines.FreeCartesianCategory.HomCatlab.Doctrines.FreeCartesianCategory.ObCatlab.Doctrines.FreeCartesianClosedCategory.HomCatlab.Doctrines.FreeCartesianClosedCategory.ObCatlab.Doctrines.FreeCategory.HomCatlab.Doctrines.FreeCategory.ObCatlab.Doctrines.FreeCategory2.HomCatlab.Doctrines.FreeCategory2.Hom2Catlab.Doctrines.FreeCategory2.ObCatlab.Doctrines.FreeCocartesianCategory.HomCatlab.Doctrines.FreeCocartesianCategory.ObCatlab.Doctrines.FreeCompactClosedCategory.HomCatlab.Doctrines.FreeCompactClosedCategory.ObCatlab.Doctrines.FreeDaggerCategory.HomCatlab.Doctrines.FreeDaggerCategory.ObCatlab.Doctrines.FreeDaggerCompactCategory.HomCatlab.Doctrines.FreeDaggerCompactCategory.ObCatlab.Doctrines.FreeSymmetricMonoidalCategory.HomCatlab.Doctrines.FreeSymmetricMonoidalCategory.ObCatlab.Doctrines.MonoidalCategory.HomCatlab.Doctrines.MonoidalCategory.ObCatlab.Doctrines.MonoidalCategoryWithBidiagonals.HomCatlab.Doctrines.MonoidalCategoryWithBidiagonals.ObCatlab.Doctrines.MonoidalCategoryWithCodiagonals.HomCatlab.Doctrines.MonoidalCategoryWithCodiagonals.ObCatlab.Doctrines.MonoidalCategoryWithDiagonals.HomCatlab.Doctrines.MonoidalCategoryWithDiagonals.ObCatlab.Doctrines.SymmetricMonoidalCategory.HomCatlab.Doctrines.SymmetricMonoidalCategory.ObCatlab.GAT.SignatureCatlab.GAT.StubCatlab.GAT.TermConstructorCatlab.GAT.TypeConstructorCatlab.GAT.TypeclassCatlab.Graphics.Graphviz.HtmlCatlab.Graphics.TikZWiringDiagrams.BoxCatlab.Graphics.TikZWiringDiagrams.PortCatlab.Graphics.TikZWiringDiagrams.WireCatlab.Graphics.TikZWiringDiagrams.WiresCatlab.Syntax.GATExprCatlab.WiringDiagrams.WiringDiagramAlgorithms.JunctionCatlab.WiringDiagrams.WiringDiagramCore.##instance_doc#548Catlab.WiringDiagrams.WiringDiagramCore.AbstractBoxCatlab.WiringDiagrams.WiringDiagramCore.BoxCatlab.WiringDiagrams.WiringDiagramCore.BoxCatlab.WiringDiagrams.WiringDiagramCore.PortCatlab.WiringDiagrams.WiringDiagramCore.PortEdgeDataCatlab.WiringDiagrams.WiringDiagramCore.PortKindCatlab.WiringDiagrams.WiringDiagramCore.PortValueErrorCatlab.WiringDiagrams.WiringDiagramCore.PortsCatlab.WiringDiagrams.WiringDiagramCore.WireCatlab.WiringDiagrams.WiringDiagramCore.WireEdgeDataCatlab.WiringDiagrams.WiringDiagramCore.WiringDiagramCatlab.WiringDiagrams.WiringDiagramCore.WiringDiagramCatlab.WiringDiagrams.WiringLayers.##instance_doc#549Catlab.WiringDiagrams.WiringLayers.NLayerCatlab.WiringDiagrams.WiringLayers.WiringLayerBase.:==Base.Meta.show_sexprBase.Meta.show_sexprBase.collectBase.ndimsCatlab.Algebra.Network.compileCatlab.Algebra.Network.compile_blockCatlab.Algebra.Network.compile_exprCatlab.Algebra.Network.compile_expr_vectorCatlab.Algebra.Network.evaluateCatlab.Algebra.Network.evaluateCatlab.Algebra.Network.genconstCatlab.Algebra.Network.genvarCatlab.Algebra.Network.multiple_assign_exprCatlab.Algebra.Network.sum_exprCatlab.Algebra.Tree.substituteCatlab.Algebra.Tree.substituteCatlab.Algebra.Tree.sum_formulasCatlab.Algebra.Tree.to_formulaCatlab.Algebra.Tree.to_formulaCatlab.GAT.accessorsCatlab.GAT.add_type_dispatchCatlab.GAT.constructorsCatlab.GAT.equationsCatlab.GAT.equationsCatlab.GAT.equationsCatlab.GAT.expand_in_contextCatlab.GAT.expand_term_typeCatlab.GAT.gen_abstract_typeCatlab.GAT.get_typeCatlab.GAT.interfaceCatlab.GAT.invoke_termCatlab.GAT.invoke_termCatlab.GAT.parse_constructorCatlab.GAT.parse_contextCatlab.GAT.parse_instance_bodyCatlab.GAT.parse_raw_exprCatlab.GAT.parse_signature_bodyCatlab.GAT.replace_typesCatlab.GAT.strip_typeCatlab.Graphics.Graphviz.pprintCatlab.Graphics.Graphviz.run_graphvizCatlab.Graphics.Graphviz.to_graphvizCatlab.Graphics.Graphviz.to_graphvizCatlab.Graphics.GraphvizWiringDiagrams.edge_labelCatlab.Graphics.GraphvizWiringDiagrams.escape_htmlCatlab.Graphics.GraphvizWiringDiagrams.graphviz_boxCatlab.Graphics.GraphvizWiringDiagrams.graphviz_boxCatlab.Graphics.GraphvizWiringDiagrams.graphviz_outer_boxCatlab.Graphics.GraphvizWiringDiagrams.graphviz_outer_portsCatlab.Graphics.GraphvizWiringDiagrams.html_attributesCatlab.Graphics.GraphvizWiringDiagrams.node_html_labelCatlab.Graphics.GraphvizWiringDiagrams.node_labelCatlab.Graphics.GraphvizWiringDiagrams.port_anchorCatlab.Graphics.GraphvizWiringDiagrams.ports_horizontal_html_labelCatlab.Graphics.GraphvizWiringDiagrams.ports_vertical_html_labelCatlab.Graphics.TikZ.pprintCatlab.Graphics.TikZWiringDiagrams.boxCatlab.Graphics.TikZWiringDiagrams.box_portsCatlab.Graphics.TikZWiringDiagrams.box_sizeCatlab.Graphics.TikZWiringDiagrams.capCatlab.Graphics.TikZWiringDiagrams.circle_portsCatlab.Graphics.TikZWiringDiagrams.crossingCatlab.Graphics.TikZWiringDiagrams.cupCatlab.Graphics.TikZWiringDiagrams.junction_circleCatlab.Graphics.TikZWiringDiagrams.linesCatlab.Graphics.TikZWiringDiagrams.parallelCatlab.Graphics.TikZWiringDiagrams.rectCatlab.Graphics.TikZWiringDiagrams.sequenceCatlab.Graphics.TikZWiringDiagrams.to_tikzCatlab.Graphics.TikZWiringDiagrams.trapeziumCatlab.Graphics.TikZWiringDiagrams.triangleCatlab.Graphics.TikZWiringDiagrams.wiresCatlab.Meta.append_expr!Catlab.Meta.concat_exprCatlab.Meta.generate_docstringCatlab.Meta.generate_functionCatlab.Meta.parse_docstringCatlab.Meta.parse_functionCatlab.Meta.parse_function_sigCatlab.Meta.replace_symbolsCatlab.Meta.replace_symbolsCatlab.Meta.strip_linesCatlab.Present.add_definition!Catlab.Present.add_equation!Catlab.Present.add_generator!Catlab.Present.add_generators!Catlab.Present.equationsCatlab.Present.generatorCatlab.Present.generatorsCatlab.Present.has_generatorCatlab.Present.merge_presentation!Catlab.Present.translate_definitionCatlab.Present.translate_equationCatlab.Present.translate_exprCatlab.Present.translate_generatorCatlab.Present.translate_presentationCatlab.Rewrite.anti_involuteCatlab.Rewrite.associateCatlab.Rewrite.associate_unitCatlab.Rewrite.distribute_unaryCatlab.Syntax.constructor_nameCatlab.Syntax.functorCatlab.Syntax.gen_term_constructorCatlab.Syntax.gen_term_constructor_paramsCatlab.Syntax.gen_term_generatorCatlab.Syntax.gen_typeCatlab.Syntax.gen_type_accessorsCatlab.Syntax.generator_likeCatlab.Syntax.interfaceCatlab.Syntax.parse_json_sexprCatlab.Syntax.show_latexCatlab.Syntax.show_latexCatlab.Syntax.show_latexCatlab.Syntax.show_unicodeCatlab.Syntax.to_json_sexprCatlab.WiringDiagrams.GraphMLWiringDiagrams.generate_graphmlCatlab.WiringDiagrams.GraphMLWiringDiagrams.parse_graphmlCatlab.WiringDiagrams.GraphMLWiringDiagrams.parse_graphml_metagraphCatlab.WiringDiagrams.GraphMLWiringDiagrams.read_graphmlCatlab.WiringDiagrams.GraphMLWiringDiagrams.read_graphml_metagraphCatlab.WiringDiagrams.GraphMLWiringDiagrams.write_graphmlCatlab.WiringDiagrams.JSONWiringDiagrams.generate_json_graphCatlab.WiringDiagrams.JSONWiringDiagrams.parse_json_graphCatlab.WiringDiagrams.JSONWiringDiagrams.read_json_graphCatlab.WiringDiagrams.JSONWiringDiagrams.write_json_graphCatlab.WiringDiagrams.WiringDiagramAlgorithms.add_junctions!Catlab.WiringDiagrams.WiringDiagramAlgorithms.crossing_minimization_by_sortCatlab.WiringDiagrams.WiringDiagramAlgorithms.normalize_cartesian!Catlab.WiringDiagrams.WiringDiagramAlgorithms.normalize_copy!Catlab.WiringDiagrams.WiringDiagramAlgorithms.normalize_delete!Catlab.WiringDiagrams.WiringDiagramAlgorithms.port_coordsCatlab.WiringDiagrams.WiringDiagramAlgorithms.rem_junctions!Catlab.WiringDiagrams.WiringDiagramAlgorithms.topological_sortCatlab.WiringDiagrams.WiringDiagramCore._substitute_insert!Catlab.WiringDiagrams.WiringDiagramCore.encapsulate!Catlab.WiringDiagrams.WiringDiagramCore.encapsulate!Catlab.WiringDiagrams.WiringDiagramCore.encapsulated_portsCatlab.WiringDiagrams.WiringDiagramCore.graphCatlab.WiringDiagrams.WiringDiagramCore.in_wiresCatlab.WiringDiagrams.WiringDiagramCore.in_wiresCatlab.WiringDiagrams.WiringDiagramCore.is_permuted_equalCatlab.WiringDiagrams.WiringDiagramCore.out_wiresCatlab.WiringDiagrams.WiringDiagramCore.out_wiresCatlab.WiringDiagrams.WiringDiagramCore.singleton_diagramCatlab.WiringDiagrams.WiringDiagramCore.substitute!Catlab.WiringDiagrams.WiringDiagramCore.substitute!Catlab.WiringDiagrams.WiringDiagramCore.validate_portsCatlab.WiringDiagrams.WiringDiagramCore.wiresCatlab.WiringDiagrams.WiringLayers.complete_layerCatlab.WiringDiagrams.WiringLayers.to_wiring_diagramCatlab.WiringDiagrams.WiringLayers.to_wiring_diagramCatlab.WiringDiagrams.WiringLayers.wiring_layer_betweenCatlab.WiringDiagrams.YFilesWiringDiagrams.parse_yfiles_diagramCatlab.WiringDiagrams.YFilesWiringDiagrams.read_yfiles_diagramCatlab.GAT.@instanceCatlab.GAT.@signatureCatlab.Present.@presentCatlab.Syntax.@syntax