File: idris_block_comments.idr

package info (click to toggle)
cloc 2.06-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 8,064 kB
  • sloc: perl: 30,146; cpp: 1,219; python: 623; ansic: 334; asm: 267; makefile: 244; sh: 186; sql: 144; java: 136; ruby: 111; cs: 104; pascal: 52; lisp: 50; haskell: 35; f90: 35; cobol: 35; objc: 25; php: 22; javascript: 15; fortran: 9; ml: 8; xml: 7; tcl: 2
file content (20 lines) | stat: -rw-r--r-- 349 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
--
-- A module about shapes
--

||| a Shape
data Shape =
  ||| Triangle with base and heigth
  Triangle Double Double |
  ||| Circle with radius
  Circle Double

||| computes the area of a shape
area : Shape -> Double
area (Triangle x y) = 0.5 * x * y
area (Circle x) = pi * x * x
                  -- pi is known by idris

{-
commented out code
-}