blob: b075de4c30be38518d014535120bd60547306482 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
module Ex where
import Data.Array (head)
import Data.Maybe (Maybe)
import Data.Tuple (Tuple(..))
import Prelude
functionH :: forall a. Array a -> Maybe a
functionH x = head x
functionC :: forall a. Ord a => a -> a -> Boolean
functionC x y = if (x > y) then true else false
functionS :: forall a b. Tuple a b -> b
functionS (Tuple x y) = y
i :: forall a. a -> a
i x = x
c :: forall a b. a -> b -> a
c x _ = x
c'' :: forall a b. b -> a -> b
c'' x _ = x
c' :: forall a b. a -> b -> b
c' _ y = y
r :: forall a. Array a -> Array a
r x = x
co :: forall a b c. (b -> c) -> (a -> b) -> a -> c
co f f' x = f $ f' x
a :: forall a c. (a -> c) -> a -> a
a _ x = x
|
