From ce875864ea1dd893866b98d4f770d76cf5efb5bf Mon Sep 17 00:00:00 2001 From: Hongrui Fang Date: Thu, 10 Nov 2022 22:27:33 +0800 Subject: [PATCH] run linter --- agora-specs/Sample/Proposal/Advance.hs | 23 +++++++++++++---------- 1 file changed, 13 insertions(+), 10 deletions(-) diff --git a/agora-specs/Sample/Proposal/Advance.hs b/agora-specs/Sample/Proposal/Advance.hs index 38232e9..c36a878 100644 --- a/agora-specs/Sample/Proposal/Advance.hs +++ b/agora-specs/Sample/Proposal/Advance.hs @@ -547,17 +547,20 @@ mkTestTree name pb val = (spend proposalRef) governor = - maybe [] singleton $ - ( \(GovernorParameters _ governorRedeemer) -> - testValidator - (fromJust val.forGovernorValidator) - "governor" - governorValidator - governorInputDatum - governorRedeemer - (spend governorRef) + maybe + [] + ( singleton + . ( \(GovernorParameters _ governorRedeemer) -> + testValidator + (fromJust val.forGovernorValidator) + "governor" + governorValidator + governorInputDatum + governorRedeemer + (spend governorRef) + ) ) - <$> pb.governorParameters + (pb.governorParameters) authority = case pb.authorityTokenParameters of [] -> []