x :Y is shorthand for x [Y 'x].
Definition of functions:
A B :*
->
function :*
(f :function x :A -> apply :B) -- application
((x :A -> y :B) -> -- abstraction
f :function
| import Data.List | |
| import qualified Data.Set as Set | |
| import Criterion.Main | |
| import System.Random | |
| itemsEqualOnDiff :: (Eq a) => [a] -> [a] -> Bool | |
| itemsEqualOnDiff a b = null $ absDiff a b | |
| absDiff :: (Eq a) => [a] -> [a] -> [a] | |
| absDiff [] [] = [] |
x :Y is shorthand for x [Y 'x].
Definition of functions:
A B :*
->
function :*
(f :function x :A -> apply :B) -- application
((x :A -> y :B) -> -- abstraction
f :function