DeepDarkFantasy-0.2017.8.4: DDF/Meta/VectorTF.hs
{-# LANGUAGE DeriveFunctor #-}
module DDF.Meta.VectorTF where
-- | F algebra of a Term Vector Spaces
data VectorTF t f = Zero | Basis t | Plus f f | Mult Double f deriving (Eq, Ord, Functor){-# LANGUAGE DeriveFunctor #-}
module DDF.Meta.VectorTF where
-- | F algebra of a Term Vector Spaces
data VectorTF t f = Zero | Basis t | Plus f f | Mult Double f deriving (Eq, Ord, Functor)