git.iko.soy/project-m36
on 01345d5 help sign in
project-m36/src/bin/TutorialD/Interpreter/TransGraphRelationalOperator.hs
39 lines 1.6 kB history raw
1{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
2{-# OPTIONS_GHC -fno-warn-orphans #-}
3module TutorialD.Interpreter.TransGraphRelationalOperator where
4import ProjectM36.TransGraphRelationalExpression
5import ProjectM36.TransactionGraph
6import qualified ProjectM36.Client as C
8import TutorialD.Interpreter.Base
9import TutorialD.Interpreter.RelationalExpr
11import Text.Megaparsec
12import Text.Megaparsec.Text
14import qualified Data.Text as T
16instance RelationalMarkerExpr TransactionIdLookup where
17 parseMarkerP = string "@" *> transactionIdLookupP
19data TransGraphRelationalOperator = ShowTransGraphRelation TransGraphRelationalExpr
21transactionIdLookupP :: Parser TransactionIdLookup
22transactionIdLookupP = (TransactionIdLookup <$> uuidP) <|>
23 (TransactionIdHeadNameLookup <$> identifier)
25transGraphRelationalOpP :: Parser TransGraphRelationalOperator
26transGraphRelationalOpP = showTransGraphRelationalOpP
28showTransGraphRelationalOpP :: Parser TransGraphRelationalOperator
29showTransGraphRelationalOpP = do
30 reservedOp ":showtransgraphexpr"
31 ShowTransGraphRelation <$> relExprP
33evalTransGraphRelationalOp :: C.SessionId -> C.Connection -> TransGraphRelationalOperator -> IO TutorialDOperatorResult
34evalTransGraphRelationalOp sessionId conn (ShowTransGraphRelation expr) = do
35 res <- C.executeTransGraphRelationalExpr sessionId conn expr
36 case res of
37 Left err -> pure $ DisplayErrorResult $ T.pack (show err)
38 Right rel -> pure $ DisplayRelationResult rel