fraport/fradrive
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor(workflow-types): use WorkflowPayloadFieldLabel as label type

Browse Source
This commit is contained in:
Sarah Vaupel 2020-04-14 11:44:47 +02:00 committed by Gregor Kleen
parent 4f58f652cd
commit 89a621ef07
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Model/Types/Workflow.hs
View File

@ -182,19 +182,19 @@ data WorkflowPayload fileid userid = forall payload. WorkflowPayload
} }
data WorkflowFieldPayload fileid userid (payload :: *) where data WorkflowFieldPayload fileid userid (payload :: *) where
WFPText :: { wfptLabel :: Text WFPText :: { wfptLabel :: WorkflowPayloadFieldLabel
, wfptText :: Text , wfptText :: Text
} -> WorkflowFieldPayload fileid userid Text } -> WorkflowFieldPayload fileid userid Text
WFPNumber :: { wfpnLabel :: Text WFPNumber :: { wfpnLabel :: WorkflowPayloadFieldLabel
, wfpnNumber :: Scientific , wfpnNumber :: Scientific
} -> WorkflowFieldPayload fileid userid Scientific } -> WorkflowFieldPayload fileid userid Scientific
WFPBool :: { wfpbLabel :: Text WFPBool :: { wfpbLabel :: WorkflowPayloadFieldLabel
, wfpbBool :: Bool , wfpbBool :: Bool
} -> WorkflowFieldPayload fileid userid Bool } -> WorkflowFieldPayload fileid userid Bool
WFPFile :: { wfpfLabel :: Text WFPFile :: { wfpfLabel :: WorkflowPayloadFieldLabel
, wfpfFile :: fileid , wfpfFile :: fileid
} -> WorkflowFieldPayload fileid userid fileid } -> WorkflowFieldPayload fileid userid fileid
WFPUser :: { wfpuLabel :: Text WFPUser :: { wfpuLabel :: WorkflowPayloadFieldLabel
, wfpuUser :: userid , wfpuUser :: userid
} -> WorkflowFieldPayload fileid userid userid } -> WorkflowFieldPayload fileid userid userid