blob: 73a71f6714141d7ca19f11eb3a8136fdc212e137 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE MultiParamTypeClasses, FunctionalDependencies #-}
module Collection where
class Show e => Col c e | c -> e where
newCol :: IO c
insertCol :: c -> e -> IO ()
deleteCol :: c -> e -> IO Bool
findCol :: c -> e -> IO Bool
printCol :: c -> IO ()
cntCol :: c -> IO Int
|
