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