Math.lidr 191 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
> module Interfaces.Math

> %default total
> %access public export
> %auto_implicits off


> interface (Num ty) => Math ty where
>   exp : ty -> ty 
>   sin : ty -> ty 
>   cos : ty -> ty