Classes | |
class | Id |
Id function. More... | |
class | Fst |
Fst function. More... | |
class | Snd |
Snd function. More... | |
class | Singleton |
Singleton constructor. More... | |
class | The |
Inverse of singleton constructor. More... | |
class | Singleton2 |
Nested Singleton constructor. More... | |
class | Abv |
Above constructor. More... | |
class | Bsd |
Beside constructor. More... | |
class | Zipwbsd |
zipwith by beside constructor. More... | |
class | Zipwabv |
zipwith by above constructor. More... | |
class | Tr |
Transpose. More... | |
class | Left |
Left Operator. More... | |
class | Right |
Right Operator. More... | |
class | SquareI |
Square (inplace). More... | |
class | Square |
Square. More... | |
class | Add |
Addition. More... | |
class | Sub |
Subtraction. More... | |
class | Mul |
Multiplication. More... | |
class | Div |
Division. More... | |
class | Mod |
Modulo. More... | |
class | Max |
Max. More... | |
class | Min |
Min. More... | |
class | GenZero |
Generator function : Zero. More... | |
class | GenAdd |
Generator function : Addition. More... | |
class | GenSub |
Generator function : Subtraction. More... | |
class | GenMul |
Generator function : Multiplication. More... | |
class | GenRand1 |
Generator function : Random double in [0, 1). More... | |
class | GenRandN |
Generator function : Random Integer in [0, n). More... | |
class | DivBy |
Divide by a number. More... |