| Idris> :doc Num | |
| Interface Num | |
| The Num interface defines basic numerical arithmetic. | |
| Parameters: | |
| ty | |
| Methods: | |
| (+) : Num ty => ty -> ty -> ty | |
| (*) : Num ty => ty -> ty -> ty | |
| fromInteger : Num ty => Integer -> ty | |
| Child interfaces: | |
| Integral ty | |
| Fractional ty | |
| Neg ty |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment