Index - R
| R | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Type/Class) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| 3 (Data Constructor) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| range | OAlg.Category.Definition, OAlg.Prelude |
| rcets | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| Rdc | OAlg.Data.Reducible |
| rdcCoToFromCo | OAlg.Data.HomCo |
| rdcCoToFromDual | OAlg.Data.HomCo |
| rdcDndPrms | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| rdcFailed | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| rdcFalse | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| rdcFSequenceForm | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| rdcGLTForm | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| rdcPathCo | OAlg.Data.HomCo |
| rdcPathSMorphism | OAlg.Category.SDuality |
| RdcState | OAlg.Data.Reducible |
| rdcTrue | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| RDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| RDstRoot | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Read | OAlg.Data.Show, OAlg.Prelude |
| read | OAlg.Data.Show, OAlg.Prelude |
| Real | OAlg.Structure.Exponential |
| reduce | OAlg.Data.Reducible |
| reducesTo | OAlg.Data.Reducible |
| reduceWith | OAlg.Data.Reducible |
| Reducible | OAlg.Data.Reducible |
| refl | OAlg.Entity.Natural |
| Reflexive | OAlg.Data.Dualisable, OAlg.Prelude |
| ReflexiveG | OAlg.Category.Dualisable |
| reflG | OAlg.Category.Dualisable |
| reflG' | OAlg.Category.Dualisable |
| ReflO | OAlg.Hom.Definition, OAlg.Hom |
| reflO | OAlg.Hom.Definition, OAlg.Hom |
| relHomogenRoot | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| relInvEq2 | OAlg.Category.Proposition, OAlg.Prelude |
| relIsZero | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| relLiftable | OAlg.Entity.Slice.Liftable |
| relMapMltCnt | OAlg.Hom.Multiplicative, OAlg.Hom |
| relMapMltCov | OAlg.Hom.Multiplicative, OAlg.Hom |
| relMapMltOne | OAlg.Hom.Multiplicative, OAlg.Hom |
| relNaturalTransformable | OAlg.Category.NaturalTransformable |
| relXStandard | OAlg.Data.Validable, OAlg.Prelude |
| repeat | OAlg.Entity.FinList |
| repMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| Representable | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| restrict | OAlg.Data.Constructable |
| Result | |
| 1 (Type/Class) | OAlg.Control.Validate, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Control.Validate, OAlg.Prelude |
| reverse | OAlg.Category.Path |
| rhnf | OAlg.Control.HNFData |
| Right | OAlg.Data.Either |
| Right1 | OAlg.Data.Either |
| Right2 | OAlg.Data.Either |
| RightSide | OAlg.Data.Dualisable, OAlg.Prelude |
| RightToLeft | OAlg.Data.Dualisable, OAlg.Prelude |
| Ring | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| rmap | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| rnfValid | OAlg.Data.Validable, OAlg.Prelude |
| roh | OAlg.Category.NaturalTransformable |
| roh' | OAlg.Category.NaturalTransformable |
| rOne | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| Root | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| root | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Row | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowAdd | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowAppend | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowElimZeros | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowFilter | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowHead | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowInterlace | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowIsEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowMapShift | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowMltl | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rows | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| rowScale | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowShear | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowSwap | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowTail | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| RowTrafo | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| rowxs | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rsTests | OAlg.Control.Validate, OAlg.Prelude |
| rsTestsFalse | OAlg.Control.Validate, OAlg.Prelude |
| rsTestsRdcDndPrms | OAlg.Control.Validate, OAlg.Prelude |
| rsValid | OAlg.Control.Validate, OAlg.Prelude |
| rsValidatedSamples | OAlg.Control.Validate, OAlg.Prelude |
| Rt | |
| 1 (Type/Class) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| 2 (Data Constructor) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| rt' | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| run | OAlg.Control.Action |
| rZero | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |