Index - F
| F | OAlg.Data.Symbol |
| FactorChain | |
| 1 (Type/Class) | OAlg.Limes.Cone.FactorChain |
| 2 (Data Constructor) | OAlg.Limes.Cone.FactorChain |
| Failure | OAlg.Control.HNFData |
| failure | OAlg.Control.Solver |
| False | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| false | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Fbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| FbrOrt | OAlg.Structure.FibredOriented |
| FbrOrtX | OAlg.Structure.FibredOriented |
| fcompare | OAlg.Data.Ord, OAlg.Prelude |
| Fibred | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| FibredOriented | OAlg.Structure.FibredOriented |
| Field | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| filter | OAlg.Data.Filterable |
| Filterable | OAlg.Data.Filterable |
| FinitelyPresentable | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| finitePoint | OAlg.Data.FinitelyPresentable |
| FinitePresentation | OAlg.Data.FinitelyPresentable |
| finitePresentation | OAlg.Data.FinitelyPresentable |
| FinList | OAlg.Entity.FinList |
| FinList' | |
| 1 (Type/Class) | OAlg.Entity.FinList |
| 2 (Data Constructor) | OAlg.Entity.FinList |
| floor | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Forall | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Form | OAlg.Data.Constructable |
| form | OAlg.Data.Constructable |
| fraction | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Fractional | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Free | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| free' | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| freeN | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| From | OAlg.Data.Dualisable, OAlg.Prelude |
| fromBidual | OAlg.Data.Dualisable, OAlg.Prelude |
| fromBidual' | OAlg.Data.Dualisable, OAlg.Prelude |
| FromCo | OAlg.Data.HomCo |
| fromCo | OAlg.Data.HomCo |
| fromDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| fromDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| fromDl1 | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDual | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDual' | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDualG | OAlg.Category.Dualisable |
| fromDualGLft | OAlg.Category.Dualisable |
| fromDualGRgt | OAlg.Category.Dualisable |
| fromEmpty | OAlg.Entity.Definition, OAlg.Prelude |
| fromEmpty2 | OAlg.Entity.Definition, OAlg.Prelude |
| fromEnum | OAlg.Data.Number, OAlg.Prelude |
| fromException | OAlg.Control.Exception, OAlg.Prelude |
| fromHNFValue | OAlg.Control.HNFData |
| fromHomEmpty | OAlg.Hom.Definition, OAlg.Hom |
| FromId | OAlg.Hom.Definition, OAlg.Hom |
| fromId | OAlg.Data.Identity, OAlg.Prelude |
| fromIdG | OAlg.Data.Identity, OAlg.Prelude |
| fromJust | OAlg.Data.Maybe, OAlg.Prelude |
| fromMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| fromOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| fromOp2Path | OAlg.Category.Path |
| fromOpOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| fromPntG | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| fromRtG | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| fromSChar | OAlg.Data.TypeLits |
| fromSNat | OAlg.Data.TypeLits |
| fromSSymbol | OAlg.Data.TypeLits |
| fromU | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| fromWord | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| FSequence | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| FSequenceForm | |
| 1 (Type/Class) | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqD | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqFilter | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqForm | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqIsEmpty | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMakeLazy | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMakeStrict | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMap | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapShift | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapWithIndex | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapWithIndexLazy | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapWithIndexStrict | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMax | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMin | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqSpan | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqx | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqxs | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fst | OAlg.Category.Definition, OAlg.Prelude |
| FT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| FTGL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| FTGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Full | |
| 1 (Data Constructor) | OAlg.Control.Verbose |
| 2 (Type/Class) | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| full | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| Functor | OAlg.Data.Identity, OAlg.Prelude |
| Functor1 | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| FunctorG | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| FunctorHomCo | |
| 1 (Type/Class) | OAlg.Data.HomCo |
| 2 (Data Constructor) | OAlg.Data.HomCo |
| Functorial | OAlg.Data.Identity, OAlg.Prelude |
| Functorial1 | OAlg.Category.Definition, OAlg.Prelude |
| FunctorialFibred | OAlg.Hom.Fibred, OAlg.Hom |
| FunctorialG | OAlg.Category.Definition, OAlg.Prelude |
| FunctorialHomCo | OAlg.Data.HomCo |
| FunctorialOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| FunctorialPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| FunctorialRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |