chore(workflows): refactor names and add label to payload

This commit is contained in:
Sarah Vaupel 2020-04-08 10:20:46 +02:00 committed by Gregor Kleen
parent 4d6d4ec9f6
commit 44b3b5faee

View File

@ -42,35 +42,45 @@ data WorkflowGraphNode' userid fileid = WGN'
type WorkflowGraphNodeLabel = CI Text type WorkflowGraphNodeLabel = CI Text
data WorkflowEdgePayload userid fileid (payload :: *) where data WorkflowFieldPayload userid fileid (payload :: *) where
WEPText :: Text -> WorkflowEdgePayload userid fileid Text WFPText :: { wfptLabel :: Text
WEPNumber :: Scientific -> WorkflowEdgePayload userid fileid Scientific , wfptText :: Text
WEPBool :: Bool -> WorkflowEdgePayload userid fileid Bool } -> WorkflowFieldPayload userid fileid Text
WEPFile :: fileid -> WorkflowEdgePayload userid fileid fileid WFPNumber :: { wfpnLabel :: Text
WEPUser :: userid -> WorkflowEdgePayload userid fileid userid , wfpnNumber :: Scientific
} -> WorkflowFieldPayload userid fileid Scientific
WFPBool :: { wfpbLabel :: Text
, wfpbBool :: Bool
} -> WorkflowFieldPayload userid fileid Bool
WFPFile :: { wfpfLabel :: Text
, wfpfFile :: fileid
} -> WorkflowFieldPayload userid fileid fileid
WFPUser :: { wfpuLabel :: Text
, wfpuUser :: userid
} -> WorkflowFieldPayload userid fileid userid
instance (Show userid, Show fileid) => Show (WorkflowEdgePayload userid fileid payload) where instance (Show userid, Show fileid) => Show (WorkflowFieldPayload userid fileid payload) where
show (WEPText txt) = "WEPText " <> show txt show WFPText{..} = "WFPText{label = " <> show wfptLabel <> ", text = " <> show wfptText <> "}"
show (WEPNumber num) = "WEPNumber " <> show num show WFPNumber{..} = "WFPNumber{label = " <> show wfpnLabel <> ", number = " <> show wfpnNumber <> "}"
show (WEPBool b ) = "WEPBool " <> show b show WFPBool{..} = "WFPBool{label = " <> show wfpbLabel <> ", bool = " <> show wfpbBool <> "}"
show (WEPFile fid) = "WEPFile " <> show fid show WFPFile{..} = "WFPFile{label = " <> show wfpfLabel <> ", file = " <> show wfpfFile <> "}"
show (WEPUser uid) = "WEPUser " <> show uid show WFPUser{..} = "WFPUser{label = " <> show wfpuLabel <> ", user = " <> show wfpuUser <> "}"
data WorkflowEdgePayload' = WEPText' | WEPNumber' | WEPBool' | WEPFile' | WEPUser' data WorkflowFieldPayload' = WFPText' | WFPNumber' | WFPBool' | WFPFile' | WFPUser'
deriving (Eq, Ord, Enum, Show, Read, Data, Generic, Typeable) deriving (Eq, Ord, Enum, Show, Read, Data, Generic, Typeable)
type WorkflowEdgePayloadLabel = CI Text type WorkflowPayloadLabel = CI Text
data WorkflowEdgePayloadField fileid userid (payload :: *) where data WorkflowPayloadField fileid userid (payload :: *) where
WorkflowEdgePayloadFieldText :: { wepftLabel :: Text WorkflowPayloadFieldText :: { wepftLabel :: Text
, wepftPlaceholder :: Text , wepftPlaceholder :: Text
, wepftTooltip :: Maybe Text , wepftTooltip :: Maybe Text
, wepftDefault :: Maybe Text , wepftDefault :: Maybe Text
, wepftOptional :: Maybe Bool , wepftOptional :: Maybe Bool
} -> WorkflowEdgePayloadField fileid userid Text } -> WorkflowPayloadField fileid userid Text
WorkflowEdgePayloadFieldNumber :: { wepfnLabel :: Text WorkflowPayloadFieldNumber :: { wepfnLabel :: Text
, wepfnPlaceholder :: Text , wepfnPlaceholder :: Text
, wepfnTooltip :: Maybe Text , wepfnTooltip :: Maybe Text
, wepfnDefault :: Maybe Scientific , wepfnDefault :: Maybe Scientific
@ -78,71 +88,74 @@ data WorkflowEdgePayloadField fileid userid (payload :: *) where
, wepfnMax :: Maybe Scientific , wepfnMax :: Maybe Scientific
, wepfnStep :: Scientific , wepfnStep :: Scientific
, wepfnOptional :: Maybe Bool , wepfnOptional :: Maybe Bool
} -> WorkflowEdgePayloadField fileid userid Scientific } -> WorkflowPayloadField fileid userid Scientific
WorkflowEdgePayloadFieldBool :: { wepfbLabel :: Text WorkflowPayloadFieldBool :: { wepfbLabel :: Text
, wepfbTooltip :: Maybe Text , wepfbTooltip :: Maybe Text
, wepfbDefault :: Maybe Bool , wepfbDefault :: Maybe Bool
} -> WorkflowEdgePayloadField fileid userid Bool } -> WorkflowPayloadField fileid userid Bool
WorkflowEdgePayloadFieldFile :: { wepffLabel :: Text WorkflowPayloadFieldFile :: { wepffLabel :: Text
, wepffTooltip :: Maybe Text , wepffTooltip :: Maybe Text
, wepffDefault :: Maybe fileid , wepffDefault :: Maybe fileid
, wepffOptional :: Maybe Bool , wepffOptional :: Maybe Bool
} -> WorkflowEdgePayloadField fileid userid FileInfo } -> WorkflowPayloadField fileid userid FileInfo
WorkflowEdgePayloadFieldUser :: { wepfuLabel :: Text WorkflowPayloadFieldUser :: { wepfuLabel :: Text
, wepfuTooltip :: Maybe Text , wepfuTooltip :: Maybe Text
, wepfuDefault :: Maybe userid , wepfuDefault :: Maybe userid
, wepfuOptional :: Maybe Bool , wepfuOptional :: Maybe Bool
} -> WorkflowEdgePayloadField fileid userid userid } -> WorkflowPayloadField fileid userid userid
instance (Show fileid, Show userid) => Show (WorkflowEdgePayloadField fileid userid payload) where instance (Show fileid, Show userid) => Show (WorkflowPayloadField fileid userid payload) where
show (WorkflowEdgePayloadFieldText{..} ) = "TextField{label = " ++ show wepftLabel ++ ", placeholder = " ++ show wepftPlaceholder ++ ", tooltip = " ++ show wepftTooltip ++ ", default = " ++ show wepftDefault ++ ", optional = " ++ show wepftOptional ++ "}" show (WorkflowPayloadFieldText{..} ) = "TextField{label = " <> show wepftLabel <> ", placeholder = " <> show wepftPlaceholder <> ", tooltip = " <> show wepftTooltip <> ", default = " <> show wepftDefault <> ", optional = " <> show wepftOptional <> "}"
show (WorkflowEdgePayloadFieldNumber{..}) = "NumberField{label = " ++ show wepfnLabel ++ ", placeholder = " ++ show wepfnPlaceholder ++ ", tooltip = " ++ show wepfnTooltip ++ ", default = " ++ show wepfnDefault ++ ", min = " ++ show wepfnMin ++ ", max = " ++ show wepfnMax ++ ", step = " ++ show wepfnStep ++ ", optional = " ++ show wepfnOptional ++ "}" show (WorkflowPayloadFieldNumber{..}) = "NumberField{label = " <> show wepfnLabel <> ", placeholder = " <> show wepfnPlaceholder <> ", tooltip = " <> show wepfnTooltip <> ", default = " <> show wepfnDefault <> ", min = " <> show wepfnMin <> ", max = " <> show wepfnMax <> ", step = " <> show wepfnStep <> ", optional = " <> show wepfnOptional <> "}"
show (WorkflowEdgePayloadFieldBool{..} ) = "BoolField{label = " ++ show wepfbLabel ++ ", tooltip = " ++ show wepfbTooltip ++ ", default = " ++ show wepfbDefault ++ "}" show (WorkflowPayloadFieldBool{..} ) = "BoolField{label = " <> show wepfbLabel <> ", tooltip = " <> show wepfbTooltip <> ", default = " <> show wepfbDefault <> "}"
show (WorkflowEdgePayloadFieldFile{..} ) = "FileField{label = " ++ show wepffLabel ++ ", tooltip = " ++ show wepffTooltip ++ ", default = " ++ show wepffDefault ++ ", optional = " ++ show wepffOptional ++ "}" show (WorkflowPayloadFieldFile{..} ) = "FileField{label = " <> show wepffLabel <> ", tooltip = " <> show wepffTooltip <> ", default = " <> show wepffDefault <> ", optional = " <> show wepffOptional <> "}"
show (WorkflowEdgePayloadFieldUser{..} ) = "UserField{label = " ++ show wepfuLabel ++ ", tooltip = " ++ show wepfuTooltip ++ ", default = " ++ show wepfuDefault ++ ", optional = " ++ show wepfuOptional ++ "}" show (WorkflowPayloadFieldUser{..} ) = "UserField{label = " <> show wepfuLabel <> ", tooltip = " <> show wepfuTooltip <> ", default = " <> show wepfuDefault <> ", optional = " <> show wepfuOptional <> "}"
data WorkflowPayloadSpec fileid userid = forall payload. WorkflowPayloadSpec (WorkflowPayloadField fileid userid payload)
data WorkflowEdgePayloadSpecification fileid userid = forall payload. WorkflowEdgePayloadSpecification (WorkflowEdgePayloadField fileid userid payload) instance (Show fileid, Show userid) => Show (WorkflowPayloadSpec fileid userid) where
show (WorkflowPayloadSpec payloadField) = show payloadField
instance (Show fileid, Show userid) => Show (WorkflowEdgePayloadSpecification fileid userid) where instance (Eq fileid, Eq userid) => Eq (WorkflowPayloadSpec fileid userid) where
show (WorkflowEdgePayloadSpecification payloadField) = show payloadField (WorkflowPayloadSpec f1@WorkflowPayloadFieldText{}) == (WorkflowPayloadSpec f2@WorkflowPayloadFieldText{}) = wepftLabel f1 == wepftLabel f2 && wepftPlaceholder f1 == wepftPlaceholder f2 && wepftTooltip f1 == wepftTooltip f2 && wepftDefault f1 == wepftDefault f2 && wepftOptional f1 == wepftOptional f2
(WorkflowPayloadSpec f1@WorkflowPayloadFieldNumber{}) == (WorkflowPayloadSpec f2@WorkflowPayloadFieldNumber{}) = wepfnLabel f1 == wepfnLabel f2 && wepfnPlaceholder f1 == wepfnPlaceholder f2 && wepfnTooltip f1 == wepfnTooltip f2 && wepfnDefault f1 == wepfnDefault f2 && wepfnOptional f1 == wepfnOptional f2
instance (Eq fileid, Eq userid) => Eq (WorkflowEdgePayloadSpecification fileid userid) where (WorkflowPayloadSpec f1@WorkflowPayloadFieldBool{}) == (WorkflowPayloadSpec f2@WorkflowPayloadFieldBool{}) = wepfbLabel f1 == wepfbLabel f2 && wepfbTooltip f1 == wepfbTooltip f2 && wepfbDefault f1 == wepfbDefault f2
(WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldText{}) == (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldText{}) = wepftLabel f1 == wepftLabel f2 && wepftPlaceholder f1 == wepftPlaceholder f2 && wepftTooltip f1 == wepftTooltip f2 && wepftDefault f1 == wepftDefault f2 && wepftOptional f1 == wepftOptional f2 (WorkflowPayloadSpec f1@WorkflowPayloadFieldFile{}) == (WorkflowPayloadSpec f2@WorkflowPayloadFieldFile{}) = wepffLabel f1 == wepffLabel f2 && wepffTooltip f1 == wepffTooltip f2 && wepffDefault f1 == wepffDefault f2 && wepffOptional f1 == wepffOptional f2
(WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldNumber{}) == (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldNumber{}) = wepfnLabel f1 == wepfnLabel f2 && wepfnPlaceholder f1 == wepfnPlaceholder f2 && wepfnTooltip f1 == wepfnTooltip f2 && wepfnDefault f1 == wepfnDefault f2 && wepfnOptional f1 == wepfnOptional f2 (WorkflowPayloadSpec f1@WorkflowPayloadFieldUser{}) == (WorkflowPayloadSpec f2@WorkflowPayloadFieldUser{}) = wepfuLabel f1 == wepfuLabel f2 && wepfuTooltip f1 == wepfuTooltip f2 && wepfuDefault f1 == wepfuDefault f2 && wepfuOptional f1 == wepfuOptional f2
(WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldBool{}) == (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldBool{}) = wepfbLabel f1 == wepfbLabel f2 && wepfbTooltip f1 == wepfbTooltip f2 && wepfbDefault f1 == wepfbDefault f2
(WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldFile{}) == (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldFile{}) = wepffLabel f1 == wepffLabel f2 && wepffTooltip f1 == wepffTooltip f2 && wepffDefault f1 == wepffDefault f2 && wepffOptional f1 == wepffOptional f2
(WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldUser{}) == (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldUser{}) = wepfuLabel f1 == wepfuLabel f2 && wepfuTooltip f1 == wepfuTooltip f2 && wepfuDefault f1 == wepfuDefault f2 && wepfuOptional f1 == wepfuOptional f2
_ == _ = False _ == _ = False
instance (Ord fileid, Ord userid) => Ord (WorkflowEdgePayloadSpecification fileid userid) where instance (Ord fileid, Ord userid) => Ord (WorkflowPayloadSpec fileid userid) where
compare (WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldText{}) (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldText{}) = mconcat [comparing wepftLabel, comparing wepftPlaceholder, comparing wepftTooltip, comparing wepftDefault, comparing wepftOptional] f1 f2 compare (WorkflowPayloadSpec f1@WorkflowPayloadFieldText{}) (WorkflowPayloadSpec f2@WorkflowPayloadFieldText{}) = mconcat [comparing wepftLabel, comparing wepftPlaceholder, comparing wepftTooltip, comparing wepftDefault, comparing wepftOptional] f1 f2
compare (WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldNumber{}) (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldNumber{}) = mconcat [comparing wepfnLabel, comparing wepfnPlaceholder, comparing wepfnTooltip, comparing wepfnDefault, comparing wepfnMin, comparing wepfnMax, comparing wepfnStep, comparing wepfnOptional] f1 f2 compare (WorkflowPayloadSpec f1@WorkflowPayloadFieldNumber{}) (WorkflowPayloadSpec f2@WorkflowPayloadFieldNumber{}) = mconcat [comparing wepfnLabel, comparing wepfnPlaceholder, comparing wepfnTooltip, comparing wepfnDefault, comparing wepfnMin, comparing wepfnMax, comparing wepfnStep, comparing wepfnOptional] f1 f2
compare (WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldBool{}) (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldBool{}) = mconcat [comparing wepfbLabel, comparing wepfbTooltip, comparing wepfbDefault] f1 f2 compare (WorkflowPayloadSpec f1@WorkflowPayloadFieldBool{}) (WorkflowPayloadSpec f2@WorkflowPayloadFieldBool{}) = mconcat [comparing wepfbLabel, comparing wepfbTooltip, comparing wepfbDefault] f1 f2
compare (WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldFile{}) (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldFile{}) = mconcat [comparing wepffLabel, comparing wepffTooltip, comparing wepffDefault, comparing wepffOptional] f1 f2 compare (WorkflowPayloadSpec f1@WorkflowPayloadFieldFile{}) (WorkflowPayloadSpec f2@WorkflowPayloadFieldFile{}) = mconcat [comparing wepffLabel, comparing wepffTooltip, comparing wepffDefault, comparing wepffOptional] f1 f2
compare (WorkflowEdgePayloadSpecification f1@WorkflowEdgePayloadFieldUser{}) (WorkflowEdgePayloadSpecification f2@WorkflowEdgePayloadFieldUser{}) = mconcat [comparing wepfuLabel, comparing wepfuTooltip, comparing wepfuDefault, comparing wepfuOptional] f1 f2 compare (WorkflowPayloadSpec f1@WorkflowPayloadFieldUser{}) (WorkflowPayloadSpec f2@WorkflowPayloadFieldUser{}) = mconcat [comparing wepfuLabel, comparing wepfuTooltip, comparing wepfuDefault, comparing wepfuOptional] f1 f2
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldText{} ) _ = LT compare (WorkflowPayloadSpec WorkflowPayloadFieldText{} ) _ = LT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldNumber{}) (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldText{}) = GT compare (WorkflowPayloadSpec WorkflowPayloadFieldNumber{}) (WorkflowPayloadSpec WorkflowPayloadFieldText{}) = GT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldNumber{}) _ = LT compare (WorkflowPayloadSpec WorkflowPayloadFieldNumber{}) _ = LT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldBool{}) (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldText{}) = GT compare (WorkflowPayloadSpec WorkflowPayloadFieldBool{}) (WorkflowPayloadSpec WorkflowPayloadFieldText{}) = GT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldBool{}) (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldNumber{}) = GT compare (WorkflowPayloadSpec WorkflowPayloadFieldBool{}) (WorkflowPayloadSpec WorkflowPayloadFieldNumber{}) = GT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldBool{}) _ = LT compare (WorkflowPayloadSpec WorkflowPayloadFieldBool{}) _ = LT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldFile{}) (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldText{}) = GT compare (WorkflowPayloadSpec WorkflowPayloadFieldFile{}) (WorkflowPayloadSpec WorkflowPayloadFieldText{}) = GT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldFile{}) (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldNumber{}) = GT compare (WorkflowPayloadSpec WorkflowPayloadFieldFile{}) (WorkflowPayloadSpec WorkflowPayloadFieldNumber{}) = GT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldFile{}) (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldBool{}) = GT compare (WorkflowPayloadSpec WorkflowPayloadFieldFile{}) (WorkflowPayloadSpec WorkflowPayloadFieldBool{}) = GT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldFile{}) _ = LT compare (WorkflowPayloadSpec WorkflowPayloadFieldFile{}) _ = LT
compare (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldUser{}) _ = LT compare (WorkflowPayloadSpec WorkflowPayloadFieldUser{}) _ = LT
data WorkflowPayload userid fileid = forall payload. Map WorkflowEdgePayloadLabel (Seq (WorkflowEdgePayload userid fileid payload), Maybe userid, UTCTime) data WorkflowPayload userid fileid = forall payload. WorkflowPayload
{ wpPayload :: Map WorkflowPayloadLabel (Map Text (WorkflowFieldPayload userid fileid payload))
, wpActor :: Maybe userid
, wpActionTime :: UTCTime
}
data WorkflowGraphEdge userid fileid = WGE data WorkflowGraphEdge userid fileid = WGE
{ wgeActors :: Set (WorkflowRole userid) { wgeActors :: Set (WorkflowRole userid)
, wgeTarget :: WorkflowGraphNodeLabel , wgeTarget :: WorkflowGraphNodeLabel
, wgeForm :: Map WorkflowEdgePayloadLabel (NonNull (Set (WorkflowEdgePayloadSpecification fileid userid))) , wgeForm :: Map WorkflowPayloadLabel (NonNull (Set (WorkflowPayloadSpec fileid userid)))
} }
deriving Show deriving Show
@ -222,8 +235,8 @@ instance (Ord userid, Ord fileid, FromJSON userid, FromJSON fileid) => FromJSON
wgeForm <- o JSON..: "form" wgeForm <- o JSON..: "form"
return WGE{..} return WGE{..}
instance (ToJSON fileid, ToJSON userid) => ToJSON (WorkflowEdgePayloadSpecification fileid userid) where instance (ToJSON fileid, ToJSON userid) => ToJSON (WorkflowPayloadSpec fileid userid) where
toJSON (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldText{..}) = JSON.object toJSON (WorkflowPayloadSpec WorkflowPayloadFieldText{..}) = JSON.object
[ "tag" JSON..= ("text" :: Text) [ "tag" JSON..= ("text" :: Text)
, "label" JSON..= wepftLabel , "label" JSON..= wepftLabel
, "placeholder" JSON..= wepftPlaceholder , "placeholder" JSON..= wepftPlaceholder
@ -231,7 +244,7 @@ instance (ToJSON fileid, ToJSON userid) => ToJSON (WorkflowEdgePayloadSpecificat
, "default" JSON..= wepftDefault , "default" JSON..= wepftDefault
, "optional" JSON..= wepftOptional , "optional" JSON..= wepftOptional
] ]
toJSON (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldNumber{..}) = JSON.object toJSON (WorkflowPayloadSpec WorkflowPayloadFieldNumber{..}) = JSON.object
[ "tag" JSON..= ("number" :: Text) [ "tag" JSON..= ("number" :: Text)
, "label" JSON..= wepfnLabel , "label" JSON..= wepfnLabel
, "placeholder" JSON..= wepfnPlaceholder , "placeholder" JSON..= wepfnPlaceholder
@ -242,28 +255,28 @@ instance (ToJSON fileid, ToJSON userid) => ToJSON (WorkflowEdgePayloadSpecificat
, "step" JSON..= wepfnStep , "step" JSON..= wepfnStep
, "optional" JSON..= wepfnOptional , "optional" JSON..= wepfnOptional
] ]
toJSON (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldBool{..}) = JSON.object toJSON (WorkflowPayloadSpec WorkflowPayloadFieldBool{..}) = JSON.object
[ "tag" JSON..= ("bool" :: Text) [ "tag" JSON..= ("bool" :: Text)
, "label" JSON..= wepfbLabel , "label" JSON..= wepfbLabel
, "tooltip" JSON..= wepfbTooltip , "tooltip" JSON..= wepfbTooltip
, "default" JSON..= wepfbDefault , "default" JSON..= wepfbDefault
] ]
toJSON (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldFile{..}) = JSON.object toJSON (WorkflowPayloadSpec WorkflowPayloadFieldFile{..}) = JSON.object
[ "tag" JSON..= ("file" :: Text) [ "tag" JSON..= ("file" :: Text)
, "label" JSON..= wepffLabel , "label" JSON..= wepffLabel
, "tooltip" JSON..= wepffTooltip , "tooltip" JSON..= wepffTooltip
, "default" JSON..= wepffDefault , "default" JSON..= wepffDefault
, "optional" JSON..= wepffOptional , "optional" JSON..= wepffOptional
] ]
toJSON (WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldUser{..}) = JSON.object toJSON (WorkflowPayloadSpec WorkflowPayloadFieldUser{..}) = JSON.object
[ "tag" JSON..= ("user" :: Text) [ "tag" JSON..= ("user" :: Text)
, "label" JSON..= wepfuLabel , "label" JSON..= wepfuLabel
, "tooltip" JSON..= wepfuTooltip , "tooltip" JSON..= wepfuTooltip
, "default" JSON..= wepfuDefault , "default" JSON..= wepfuDefault
, "optional" JSON..= wepfuOptional , "optional" JSON..= wepfuOptional
] ]
instance (FromJSON fileid, FromJSON userid) => FromJSON (WorkflowEdgePayloadSpecification fileid userid) where instance (FromJSON fileid, FromJSON userid) => FromJSON (WorkflowPayloadSpec fileid userid) where
parseJSON = JSON.withObject "WorkflowEdgePayloadSpecification" $ \o -> do parseJSON = JSON.withObject "WorkflowPayloadSpec" $ \o -> do
fieldTag <- (o JSON..: "tag" :: Parser Text) fieldTag <- (o JSON..: "tag" :: Parser Text)
case fieldTag of case fieldTag of
"text" -> do "text" -> do
@ -272,7 +285,7 @@ instance (FromJSON fileid, FromJSON userid) => FromJSON (WorkflowEdgePayloadSpec
wepftTooltip <- o JSON..:? "tooltip" wepftTooltip <- o JSON..:? "tooltip"
wepftDefault <- o JSON..:? "default" wepftDefault <- o JSON..:? "default"
wepftOptional <- o JSON..:? "optional" wepftOptional <- o JSON..:? "optional"
return $ WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldText{..} return $ WorkflowPayloadSpec WorkflowPayloadFieldText{..}
"number" -> do "number" -> do
wepfnLabel <- o JSON..: "label" wepfnLabel <- o JSON..: "label"
wepfnPlaceholder <- o JSON..: "placeholder" wepfnPlaceholder <- o JSON..: "placeholder"
@ -282,25 +295,25 @@ instance (FromJSON fileid, FromJSON userid) => FromJSON (WorkflowEdgePayloadSpec
wepfnMax <- o JSON..:? "max" wepfnMax <- o JSON..:? "max"
wepfnStep <- o JSON..: "step" wepfnStep <- o JSON..: "step"
wepfnOptional <- o JSON..:? "optional" wepfnOptional <- o JSON..:? "optional"
return $ WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldNumber{..} return $ WorkflowPayloadSpec WorkflowPayloadFieldNumber{..}
"bool" -> do "bool" -> do
wepfbLabel <- o JSON..: "label" wepfbLabel <- o JSON..: "label"
wepfbTooltip <- o JSON..:? "tooltip" wepfbTooltip <- o JSON..:? "tooltip"
wepfbDefault <- (o JSON..:? "default" :: Parser (Maybe Bool)) wepfbDefault <- (o JSON..:? "default" :: Parser (Maybe Bool))
return $ WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldBool{..} return $ WorkflowPayloadSpec WorkflowPayloadFieldBool{..}
"file" -> do "file" -> do
wepffLabel <- o JSON..: "label" wepffLabel <- o JSON..: "label"
wepffTooltip <- o JSON..:? "tooltip" wepffTooltip <- o JSON..:? "tooltip"
wepffDefault <- (o JSON..:? "default" :: Parser (Maybe fileid)) wepffDefault <- (o JSON..:? "default" :: Parser (Maybe fileid))
wepffOptional <- o JSON..:? "optional" wepffOptional <- o JSON..:? "optional"
return $ WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldFile{..} return $ WorkflowPayloadSpec WorkflowPayloadFieldFile{..}
"user" -> do "user" -> do
wepfuLabel <- o JSON..: "label" wepfuLabel <- o JSON..: "label"
wepfuTooltip <- o JSON..:? "tooltip" wepfuTooltip <- o JSON..:? "tooltip"
wepfuDefault <- (o JSON..:? "default" :: Parser (Maybe userid)) wepfuDefault <- (o JSON..:? "default" :: Parser (Maybe userid))
wepfuOptional <- o JSON..:? "optional" wepfuOptional <- o JSON..:? "optional"
return $ WorkflowEdgePayloadSpecification WorkflowEdgePayloadFieldUser{..} return $ WorkflowPayloadSpec WorkflowPayloadFieldUser{..}
_ -> terror $ "WorkflowEdgePayloadSpecification parseJSON error: expected field tag (text|number|bool|file|user), but got " <> fieldTag _ -> terror $ "WorkflowPayloadSpec parseJSON error: expected field tag (text|number|bool|file|user), but got " <> fieldTag
--instance ToJSON WorkflowGraphNode where --instance ToJSON WorkflowGraphNode where
-- toJSON WGN{..} = JSON.object -- toJSON WGN{..} = JSON.object
@ -333,11 +346,11 @@ instance (FromJSON userid, FromJSON fileid, Ord userid, Ord fileid) => FromJSON
testGraph :: WorkflowGraph Text Text testGraph :: WorkflowGraph Text Text
testGraph = WorkflowGraph $ Map.fromList [("node1", (WGN (WGNS "id" True (Just "someLabel")), Set.fromList [WGE (Set.fromList [WorkflowRoleUser "user-id", WorkflowRoleInitiator]) "node1" (Map.fromList [("sometext", impureNonNull $ Set.fromList [WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldText "text-label" "text-placeholder" (Just "text-tooltip") (Just "text-default") Nothing]),("someuser", impureNonNull $ Set.fromList [WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldUser "user-label" Nothing Nothing Nothing]),("someboolandnumber-opt", impureNonNull $ Set.fromList [WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldBool "bool-label" Nothing (Just True), WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldNumber "number-label" "number-placeholder" Nothing Nothing (Just 1) (Just 5) 0.01 (Just True)])])]))] testGraph = WorkflowGraph $ Map.fromList [("node1", (WGN (WGNS "id" True (Just "someLabel")), Set.fromList [WGE (Set.fromList [WorkflowRoleUser "user-id", WorkflowRoleInitiator]) "node1" (Map.fromList [("sometext", impureNonNull $ Set.fromList [WorkflowPayloadSpec $ WorkflowPayloadFieldText "text-label" "text-placeholder" (Just "text-tooltip") (Just "text-default") Nothing]),("someuser", impureNonNull $ Set.fromList [WorkflowPayloadSpec $ WorkflowPayloadFieldUser "user-label" Nothing Nothing Nothing]),("someboolandnumber-opt", impureNonNull $ Set.fromList [WorkflowPayloadSpec $ WorkflowPayloadFieldBool "bool-label" Nothing (Just True), WorkflowPayloadSpec $ WorkflowPayloadFieldNumber "number-label" "number-placeholder" Nothing Nothing (Just 1) (Just 5) 0.01 (Just True)])])]))]
testGraphStr :: Data.ByteString.Lazy.Internal.ByteString testGraphStr :: Data.ByteString.Lazy.Internal.ByteString
testGraphStr = "{\"tag\":\"workflow\",\"nodes\":{\"node1\":{\"status\":{\"ident\":\"status-ident\",\"finished\":true,\"label\":\"status-label\"},\"edges\":[{\"actors\":[{\"tag\":\"initiator\"}],\"form\":{\"some-number\":[{\"tag\":\"number\",\"step\":0.01,\"label\":\"number-label\",\"placeholder\":\"number-placeholder\"}]},\"target\":\"node1\"}]}}}" testGraphStr = "{\"tag\":\"workflow\",\"nodes\":{\"node1\":{\"status\":{\"ident\":\"status-ident\",\"finished\":true,\"label\":\"status-label\"},\"edges\":[{\"actors\":[{\"tag\":\"initiator\"}],\"form\":{\"some-number\":[{\"tag\":\"number\",\"step\":0.01,\"label\":\"number-label\",\"placeholder\":\"number-placeholder\"}]},\"target\":\"node1\"}]}}}"
--testGraph = WorkflowGraph $ Map.fromList [("node1", (WGN (WGNS "id" True (Just "someLabel")), Set.fromList [WGE (Set.fromList [WorkflowRoleUser "user-id", WorkflowRoleInitiator]) "node1" (Map.fromList [("sometext", impureNonNull $ Set.fromList [WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldText "text-label" "text-placeholder" (Just "text-tooltip") (Just "text-default")]),("someuser", impureNonNull $ Set.fromList [WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldUser "user-label" Nothing Nothing]),("somebool", impureNonNull $ Set.fromList [WorkflowEdgePayloadSpecification $ WorkflowEdgePayloadFieldBool "bool-label" Nothing (Just True)])])]))] --testGraph = WorkflowGraph $ Map.fromList [("node1", (WGN (WGNS "id" True (Just "someLabel")), Set.fromList [WGE (Set.fromList [WorkflowRoleUser "user-id", WorkflowRoleInitiator]) "node1" (Map.fromList [("sometext", impureNonNull $ Set.fromList [WorkflowPayloadSpec $ WorkflowPayloadFieldText "text-label" "text-placeholder" (Just "text-tooltip") (Just "text-default")]),("someuser", impureNonNull $ Set.fromList [WorkflowPayloadSpec $ WorkflowPayloadFieldUser "user-label" Nothing Nothing]),("somebool", impureNonNull $ Set.fromList [WorkflowPayloadSpec $ WorkflowPayloadFieldBool "bool-label" Nothing (Just True)])])]))]
--testPayload :: WorkflowPayload Text Text --testPayload :: WorkflowPayload Text Text
testPayload = Map.fromList [("edge-payload-label" :: WorkflowEdgePayloadLabel, (Seq.singleton (WEPText "hello world!"), Just "actor-user-id" :: Maybe Text, UTCTime (ModifiedJulianDay 58946) 57250))] testPayload = Map.fromList [("sometext" :: WorkflowPayloadLabel, (Seq.singleton (WFPText "text-label" "hello world!"), Just "actor-user-id" :: Maybe Text, UTCTime (ModifiedJulianDay 58946) 57250))]