Index - S
| 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.Sam.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 |
| showAST | DDF.Show |
| sigmoid | DDF.Sam.Xor |
| sigmoid1 | DDF.Sam.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.Sam.Poly |
| space | DDF.Sam.Hello |
| 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 |
| str | DDF.Sam.Hello |
| 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 |
| string | DDF.IO, 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 |