| AbelianCat | ConCat.Category, ConCat.AltCat |
| abst | ConCat.Rep |
| abstB | ConCat.Circuit |
| abstC | |
| 1 (Function) | ConCat.Category |
| 2 (Function) | ConCat.AltCat, ConCat.Circuit |
| abstCV | ConCat.Plugin |
| absurdF | ConCat.Misc |
| Add | |
| 1 (Type/Class) | ConCat.Additive, ConCat.AdditiveFun |
| 2 (Data Constructor) | ConCat.Additive, ConCat.AdditiveFun |
| 3 (Data Constructor) | ConCat.StackVM |
| add | ConCat.Free.Affine |
| addC | |
| 1 (Function) | ConCat.Category |
| 2 (Function) | ConCat.AltCat |
| AddCat | ConCat.Category, ConCat.AltCat |
| AddF | ConCat.Additive, ConCat.AdditiveFun |
| AddFun | ConCat.AdditiveFun |
| addFun | ConCat.AdditiveFun |
| addFun' | ConCat.AdditiveFun |
| Additive | ConCat.Additive, ConCat.AdditiveFun |
| Additive1 | ConCat.Category, ConCat.AltCat, ConCat.AdditiveFun |
| additive1 | ConCat.Category, ConCat.AltCat, ConCat.AdditiveFun |
| addLM | ConCat.Free.LinearRow |
| addTy | ConCat.Syntactic |
| addV | ConCat.Free.VectorSpace |
| Affine | |
| 1 (Type/Class) | ConCat.Free.Affine |
| 2 (Data Constructor) | ConCat.Free.Affine |
| affine | ConCat.Deep |
| affLog | ConCat.Deep |
| affRelu | ConCat.Deep |
| AllC | ConCat.Misc |
| AllC2 | ConCat.Misc |
| AllD | ConCat.Demand |
| altRhs | ConCat.Plugin |
| altVars | ConCat.Plugin |
| alwaysSubst | ConCat.Plugin |
| AndC | ConCat.Misc |
| andC | |
| 1 (Function) | ConCat.Category |
| 2 (Function) | ConCat.AltCat |
| andDer | ConCat.AD |
| andDerF | ConCat.ADFun |
| andDerF' | ConCat.ADFun |
| andDerFL | ConCat.ADFun |
| andDerFLR | ConCat.ADFun |
| andDeriv | ConCat.GAD |
| andDerR | ConCat.RAD |
| andDerRL | ConCat.RAD |
| andGrad2R | ConCat.RAD |
| andGradFL | ConCat.ADFun |
| andGradFLR | ConCat.ADFun |
| andGradR | ConCat.RAD |
| andInc | ConCat.Incremental |
| Angle | ConCat.Graphics.Image |
| annotateEvidence | ConCat.BuildDictionary |
| annotateEvidencePass | ConCat.Satisfy.Plugin |
| annulus | ConCat.Graphics.Image |
| app | ConCat.Orphans |
| app0 | ConCat.Syntactic |
| app0' | ConCat.Syntactic |
| app1 | ConCat.Syntactic |
| app2 | ConCat.Syntactic |
| appD | ConCat.Incremental |
| appIso | ConCat.Isomorphism |
| Apply | ConCat.StackVM |
| apply | |
| 1 (Function) | ConCat.Category |
| 2 (Function) | ConCat.AltCat |
| applyA | ConCat.Free.Affine |
| applyK | ConCat.Category |
| applyV | ConCat.Plugin |
| appPrec | |
| 1 (Function) | ConCat.Orphans |
| 2 (Function) | ConCat.Syntactic |
| apps | |
| 1 (Function) | ConCat.Syntactic |
| 2 (Function) | ConCat.Plugin |
| appT | ConCat.Translators |
| appt | ConCat.Syntactic |
| Arg | ConCat.Choice |
| Arr | |
| 1 (Type/Class) | ConCat.TArr |
| 2 (Data Constructor) | ConCat.TArr |
| arr | ConCat.Synchronous |
| arrComp | ConCat.TArr |
| arrPar1 | ConCat.TArr |
| arrProd | ConCat.TArr |
| arrU1 | ConCat.TArr |
| Assoc | ConCat.Syntactic |
| AssociativePCat | ConCat.Category, ConCat.AltCat |
| AssociativeSCat | ConCat.Category, ConCat.AltCat |
| Associativity | ConCat |
| assocLeft | ConCat.Syntactic |
| assocNone | ConCat.Syntactic |
| assocRight | ConCat.Syntactic |
| atom | ConCat.Syntactic |
| AtomDel | ConCat.Incremental |
| Atomic | ConCat.Incremental |
| atomic1 | ConCat.Incremental |
| atomic2 | ConCat.Incremental |
| atomicConst | ConCat.Syntactic |
| atomicD1 | ConCat.Incremental |
| atomicD2 | ConCat.Incremental |
| Attr | ConCat.Circuit |