Skip to content

Instantly share code, notes, and snippets.

@deque-blog

deque-blog/num_idris.idr

Last active June 13, 2017 12:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save deque-blog/c33a72d6c3c0f3df1bf8fb89e8b4cc3f to your computer and use it in GitHub Desktop.
Save deque-blog/c33a72d6c3c0f3df1bf8fb89e8b4cc3f to your computer and use it in GitHub Desktop.
Download ZIP
Raw
num_idris.idr
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