DDF.Meta.VectorTF

Documentation

data VectorTF t f

F algebra of a Term Vector Spaces

Constructors

Zero

Basis t

Plus f f

Mult Double f

Instances

ObjOrd Show (VectorTF a b)

Methods

cmp :: Show h (VectorTF a b -> VectorTF a b -> Ordering)

eq :: Show h (VectorTF a b -> VectorTF a b -> Bool)

Functor (VectorTF t)

Methods

fmap :: (a -> b) -> VectorTF t a -> VectorTF t b

(<$) :: a -> VectorTF t b -> VectorTF t a

(Eq f, Eq t) => Eq (VectorTF t f)

Methods

(==) :: VectorTF t f -> VectorTF t f -> Bool

(/=) :: VectorTF t f -> VectorTF t f -> Bool

(Ord f, Ord t) => Ord (VectorTF t f)

Methods

compare :: VectorTF t f -> VectorTF t f -> Ordering

(<) :: VectorTF t f -> VectorTF t f -> Bool

(<=) :: VectorTF t f -> VectorTF t f -> Bool

(>) :: VectorTF t f -> VectorTF t f -> Bool

(>=) :: VectorTF t f -> VectorTF t f -> Bool

max :: VectorTF t f -> VectorTF t f -> VectorTF t f

min :: VectorTF t f -> VectorTF t f -> VectorTF t f

type DiffType v (VectorTF t f)

type DiffType v (VectorTF t f) = VectorTF (DiffType v t) (DiffType v f)

type Basis (Fix (VectorTF b))

type Basis (Fix (VectorTF b)) = b

type Basis (SVTFBuilder b)

type Basis (SVTFBuilder b) = b