module Cookbook.Project.Quill.Quill2.Q2Api where
import qualified Cookbook.Ingredients.Tupples.Look as Lk
import qualified Cookbook.Essential.Common as Cm
import qualified Cookbook.Essential.Continuous as Ct
import qualified Cookbook.Ingredients.Lists.Access as Ac
import Cookbook.Project.Quill.Quill2.Q2Prelude
getQuillName :: Quill -> String
getQuillName = fst
getQuillBody :: Quill -> Element String
getQuillBody = snd
getQuill :: [Quill] -> String -> QuillStatus
getQuill [] _ = QuillMissing
getQuill (x:xs) c
| Ac.count (map getQuillName (x:xs)) c > 1 = QuillMultiple
| getQuillName x == c = QuillSuccess x
| otherwise = getQuill xs c
lookUp :: [Quill] -> (String, String) -> String
lookUp x (a,b) = case (getQuill x a) of
QuillMissing -> error $ "Table not found."
QuillMultiple -> error $ "Multiple values of " ++ a ++ " detected. Database eror, fix manually."
(QuillSuccess (c,d)) -> case d of
(List f) -> error "Cannot look up the value of a list."
(Table f) -> let c = Lk.lookList f b in if (c == []) then (error $ "Item " ++ b ++ " not found in table " ++ a) else (if (length c > 1) then multipleInnerError else (head c))
where multipleInnerError = error $ "Multiple values of " ++ b ++ " found in table " ++ a ++ ". Database corrupted, change manually."
removeQuill :: [Quill] -> String -> [Quill]
removeQuill [] _ = []
removeQuill ((x,y):xs) c
| x == c = removeQuill xs c
| otherwise = (x,y) : removeQuill xs c
removeItem :: [Quill] -> (String, String) -> [Quill]
removeItem x (a,b) = case (getQuill x a) of
QuillSuccess (c,j) -> case j of
(Table d) -> (c,(Table [(y,t) | (y,t) <- d, y /= b])) : (removeQuill x a)
(List d) -> (c,List $ Ct.remove d c) : removeQuill x a
_ -> (let l = lookUp x (a,b) in x)
addQuill :: [Quill] -> Quill -> [Quill]
addQuill x c = c : x
addItem :: [Quill] -> QuillAddition -> [Quill]
addItem x qa= case getQuill x a of
QuillSuccess (y, ys) -> case ys of
(Table d) -> case qa of
(ATable (_,b,c)) -> (y,Table $ (b,c) : d) : removeQuill x a
(AList _ ) -> error $ "$ Type Mismatch! Attempted to add a List type to Table in table " ++ (show qa)
(List d) -> case qa of
(AList (_,b)) -> (y, List $ (b:d)) : removeQuill x a
(ATable _) -> error $ "Type MisMatch! Attempted to add Table type to List in table " ++ (show qa)
QuillMultiple -> error "Multiple found"
QuillMissing -> error "Not found quill!"
where
a = case qa of
(ATable (g,b,c)) -> g
(AList (g,b)) -> g
changeItem :: [Quill] -> QuillAddition -> [Quill]
changeItem x y = case y of
(ATable (a,b,c)) -> addItem (removeItem x (a,b)) y
(AList (a,b)) -> addItem (removeItem x (a,b)) y
toString :: Quill -> String
toString (nm,typ) = case typ of
(List a) -> ("list(" ++ nm ++ "){" ++ (Cm.flt (map (\c -> (c ++ ";")) a))) ++ "}"
(Table a) -> ("table(" ++ nm ++ "){" ++ (Cm.flt $ stringify a)) ++ "}"
where
stringify [] = []
stringify ((a,b):xs) = (a ++ ":" ++ b ++ ";") : stringify xs