module Lib2 (fac, fac2,fac3,fac4,fac5) where

import Test.QuickCheck (quickCheck)

--FACTORIAL 1
fac 0 = 1
fac n = n * fac (n-1)

--FACTORIAL 2
fac2 = (\(n) ->
        (if ((==) n 0)
            then 1
            else ((*) n (fac2 ((-) n 1)))))

--FACTORIAL 3
fac3 n = foldr (*) 1 [1..n]

--FACTORIAL 4
fac4 n = foldl (*) 1 [1..n]

--FACTORIAL 5
fac5 = foldr (*) 1 . enumFromTo 1