SHARE
TWEET

Untitled

a guest May 25th, 2019 90 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. {- Shape_abs.idr -}
  2. module Shape_abs
  3.  
  4. export
  5. data Shape = Triangle Double Double
  6.            | Rectangle Double Double
  7.            | Circle Double
  8.  
  9. export
  10. circle : Double -> Shape
  11. circle = Circle
  12.  
  13. {- Shape_abs_test.idr -}
  14. import Shape_abs
  15.  
  16. testCircle : Shape
  17. testCircle = circle 2
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top