Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/num_idris.idr

Last active Jun 13, 2017
Embed
What would you like to do?
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