s | DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
scaleAdd | DDF.Xor |
scomb | DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
scomb2 | DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
selfWithDiff | DDF.WithDiff |
setStdGen | DDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
Show | |
1 (Type/Class) | DDF.Show |
2 (Data Constructor) | DDF.Show |
show | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
sigmoid | DDF.Xor |
sigmoid1 | DDF.Xor |
singleton | |
1 (Function) | DDF.Map |
2 (Function) | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
singleton2 | DDF.Map |
Size | |
1 (Type/Class) | DDF.Size |
2 (Data Constructor) | DDF.Size |
size | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
size1 | DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
solve | DDF.Poly |
split | DDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
StaFun | DDF.PE |
State | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
state | DDF.Lang, DDF.TermGen, DDF.Term |
state1 | DDF.Lang, DDF.TermGen, DDF.Term |
Static | DDF.PE |
StdGen | DDF.Util, DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
strengthen1 | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
strengthen2 | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
String | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
Sub | DDF.ImportMeta, DDF.DBI, DDF.Fix, DDF.Float, DDF.FreeVector, DDF.Option, DDF.Prod, DDF.Dual, DDF.Sum, DDF.Unit, DDF.Y, DDF.List, DDF.Char, DDF.IO, DDF.Bool, DDF.Double, DDF.Map, DDF.DiffWrapper, DDF.Int, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |
sub | DDF.TermGen, DDF.Term |
SubL | DDF.TermGen, DDF.Term |
SubLC | DDF.TermGen, DDF.Term |
Sum | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
sumMatch | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
sumMatch2 | DDF.Sum, DDF.Lang, DDF.TermGen, DDF.Term |
SVTFBuilder | DDF.Lang, DDF.TermGen, DDF.Term |
swap | DDF.Prod, DDF.Dual, DDF.Map, DDF.Bimap, DDF.Lang, DDF.TermGen, DDF.Term |