Index - F
| F | OAlg.Data.Symbol |
| FactorChain | |
| 1 (Type/Class) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| 2 (Data Constructor) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| 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.Fibred.Definition, OAlg.Structure.Fibred |
| fcompare | OAlg.Data.Ord, OAlg.Prelude |
| Fibred | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| FibredOriented | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Field | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| 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 |
| Forget | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| ForgetfulAbl | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| ForgetfulAdd | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| ForgetfulAlg | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| ForgetfulDst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| ForgetfulFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| ForgetfulFbrOrt | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| ForgetfulMlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| ForgetfulOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ForgetfulTyp | OAlg.Structure.Definition, OAlg.Prelude |
| ForgetfulVec | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| 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 |
| 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 |
| fromDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| fromDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| fromDual | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDual' | OAlg.Data.Dualisable, OAlg.Prelude |
| fromEnum | OAlg.Data.Number, OAlg.Prelude |
| fromException | OAlg.Control.Exception, OAlg.Prelude |
| fromHNFValue | OAlg.Control.HNFData |
| fromId | OAlg.Data.Identity |
| fromJust | OAlg.Data.Maybe, OAlg.Prelude |
| fromMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| fromOp | OAlg.Data.Opposite, OAlg.Prelude |
| FromOp1 | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| fromOp1Struct | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| fromOp2Path | OAlg.Category.Path |
| FromOpOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| fromOpOp | OAlg.Data.Opposite, OAlg.Prelude |
| fromU | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| fromWord | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| 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 | OAlg.Control.Verbose |
| Functorial | OAlg.Category.Definition, OAlg.Prelude |
| FunctorialHomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| FunctorialHomOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |