| T | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| tail | OAlg.Entity.FinList |
| takeN | OAlg.Data.Number, OAlg.Prelude |
| tau | OAlg.Structure.Definition, OAlg.Prelude |
| tau1 | OAlg.Structure.Definition, OAlg.Prelude |
| tau1Hom | OAlg.Category.Definition, OAlg.Prelude |
| tauAdd | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| tauDst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| tauFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| tauFbrOrt | OAlg.Structure.FibredOriented |
| tauFst | OAlg.Structure.Definition, OAlg.Prelude |
| tauG | OAlg.Structure.Definition, OAlg.Prelude |
| tauG' | OAlg.Structure.Definition, OAlg.Prelude |
| tauGSubStruct | OAlg.Structure.Definition, OAlg.Prelude |
| tauHom | OAlg.Category.Definition, OAlg.Prelude |
| tauHomG | OAlg.Category.Definition, OAlg.Prelude |
| tauMlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| tauO | OAlg.Category.Dualisable |
| tauOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| tauOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| tauSnd | OAlg.Structure.Definition, OAlg.Prelude |
| tauSubStruct | OAlg.Structure.Definition, OAlg.Prelude |
| tauTuple | OAlg.Structure.Definition, OAlg.Prelude |
| tauTyp | OAlg.Structure.Definition, OAlg.Prelude |
| tauType | OAlg.Structure.Definition, OAlg.Prelude |
| TerminalCone | OAlg.Limes.TerminalAndInitialPoint |
| TerminalConic | OAlg.Limes.TerminalAndInitialPoint |
| TerminalDiagram | OAlg.Limes.TerminalAndInitialPoint |
| TerminalDiagrammatic | OAlg.Limes.TerminalAndInitialPoint |
| TerminalPoint | OAlg.Limes.TerminalAndInitialPoint |
| TerminalPointG | OAlg.Limes.TerminalAndInitialPoint |
| terminalPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Terminals | OAlg.Limes.TerminalAndInitialPoint |
| TerminalsG | OAlg.Limes.TerminalAndInitialPoint |
| tests | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Text | OAlg.Data.TypeLits |
| throw | OAlg.Control.Exception, OAlg.Prelude |
| tip | OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| To | OAlg.Data.Dualisable, OAlg.Prelude |
| toArray | OAlg.Entity.FinList |
| toBidual | OAlg.Data.Dualisable, OAlg.Prelude |
| ToCo | OAlg.Data.HomCo |
| toCo | OAlg.Data.HomCo |
| toDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDigitsFinite | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDual | OAlg.Data.Dualisable, OAlg.Prelude |
| toDualArw | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualG | OAlg.Category.Dualisable |
| toDualG' | OAlg.Category.Dualisable |
| toDualGLft | OAlg.Category.Dualisable |
| toDualGRgt | OAlg.Category.Dualisable |
| toDualO | OAlg.Hom.Definition, OAlg.Hom |
| toDualO' | OAlg.Hom.Definition, OAlg.Hom |
| toDualOpDst | OAlg.Hom.Distributive, OAlg.Hom |
| toDualOpDstSld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| toDualOpDstSld' | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| toDualOpFbrOrt | OAlg.Hom.FibredOriented |
| toDualOpFreeDst | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| toDualOpMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| toDualOpMltSld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOpMltSld' | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOpOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualOpOrtSld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOpOrtSld' | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualPnt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualRt | OAlg.Hom.Fibred, OAlg.Hom |
| toDualStk | OAlg.Hom.Fibred, OAlg.Hom |
| toEnum | OAlg.Data.Number, OAlg.Prelude |
| toException | OAlg.Control.Exception, OAlg.Prelude |
| ToId | OAlg.Hom.Definition, OAlg.Hom |
| toIdG | OAlg.Data.Identity, OAlg.Prelude |
| toN' | OAlg.Entity.Natural |
| toOp2Path | OAlg.Category.Path |
| toOpG | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| ToPerspective | OAlg.Limes.Perspective, OAlg.Limes.Cone |
| toPntG | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ToSite | OAlg.Data.Dualisable, OAlg.Prelude |
| Total | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TotalOpl | OAlg.Structure.Operational |
| TotalOpr | OAlg.Structure.Operational |
| TotalRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| toVariant2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toW | OAlg.Entity.FinList |
| toW' | OAlg.Entity.Natural |
| trafoFromId | OAlg.Data.Identity, OAlg.Prelude |
| trafoToId | OAlg.Data.Identity, OAlg.Prelude |
| Transformable | OAlg.Structure.Definition, OAlg.Prelude |
| Transformable1 | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableAbl | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| TransformableAdd | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| TransformableAlg | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| TransformableDst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| TransformableFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| TransformableFbrOrt | OAlg.Structure.FibredOriented |
| TransformableG | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableGObjectClass | OAlg.Category.Definition, OAlg.Prelude |
| TransformableGObjectClassDomain | OAlg.Category.Definition, OAlg.Prelude |
| TransformableGObjectClassRange | OAlg.Category.Definition, OAlg.Prelude |
| TransformableGRefl | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableGReflOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| TransformableMlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| TransformableObjectClass | OAlg.Category.Definition, OAlg.Prelude |
| TransformableObjectClassTyp | OAlg.Category.Definition, OAlg.Prelude |
| TransformableOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| TransformableOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TransformableTyp | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableType | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableVec | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| Transformation | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Transposable | OAlg.Data.Dualisable, OAlg.Prelude |
| TransposableDistributive | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| TransposableMultiplicative | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| TransposableOriented | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| transpose | OAlg.Data.Dualisable, OAlg.Prelude |
| TrApp | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Tree | OAlg.Data.Tree |
| trFilter | OAlg.Data.Tree |
| TrFT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| TrGL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| TrGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| trGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| trLookup | OAlg.Data.Tree |
| trmCone | OAlg.Limes.TerminalAndInitialPoint |
| trmConeG | OAlg.Limes.TerminalAndInitialPoint |
| trmDiagram | OAlg.Limes.TerminalAndInitialPoint |
| trmsOrnt | OAlg.Limes.TerminalAndInitialPoint |
| True | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| true | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| tryToInvert | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| tween | OAlg.Data.Show, OAlg.Prelude |
| Typ | OAlg.Structure.Definition, OAlg.Prelude |
| TypeablePoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TypeableRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| TypeError | OAlg.Data.TypeLits |