DeepDarkFantasy-0.2017.8.19: A DSL for creating neural network.

Safe HaskellSafe
LanguageHaskell2010

DDF.Meta.VectorTF

Synopsis

Documentation

data VectorTF t f Source #

F algebra of a Term Vector Spaces

Constructors

Zero 
Basis t 
Plus f f 
Mult Double f 

Instances

ObjOrd Show (VectorTF a b) Source # 

Methods

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

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

Functor (VectorTF t) Source # 

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) Source # 

Methods

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

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

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

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) Source # 
type DiffType v (VectorTF t f) = VectorTF (DiffType v t) (DiffType v f)
type Basis (Fix (VectorTF b)) Source # 
type Basis (Fix (VectorTF b)) = b
type Basis (SVTFBuilder b) Source # 
type Basis (SVTFBuilder b) = b