Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

use utilities from LPE

Browse source
This commit is contained in:
SeungheonOh 2022-07-27 09:45:56 -05:00 • committed by Hongrui Fang
parent 662540e619
commit e2d873f1c5
9 changed files with 405 additions and 404 deletions
Download patch file Download diff file Expand all files Collapse all files

4
agora/Agora/Proposal.hs
View file

@ -41,7 +41,6 @@ module Agora.Proposal (
import Agora.Proposal.Time (PProposalStartingTime, PProposalTimingConfig, ProposalStartingTime, ProposalTimingConfig)
import Agora.SafeMoney (GTTag)
import Agora.Utils (withBuiltinPairAsData)
import Data.Tagged (Tagged)
import GHC.Generics qualified as GHC
import Generics.SOP (Generic, I (I))
@ -56,6 +55,7 @@ import Plutarch.Api.V1.AssocMap qualified as PAssocMap
import Plutarch.DataRepr (DerivePConstantViaData (..), PDataFields, PIsDataReprInstances (..))
import Plutarch.Extra.Comonad (pextract)
import Plutarch.Extra.Field (pletAllC)
import Plutarch.Extra.Function (pbuiltinUncurry)
import Plutarch.Extra.IsData (
DerivePConstantViaDataList (..),
DerivePConstantViaEnum (..),
@ -836,7 +836,7 @@ pneutralOption = phoistAcyclic $
f = phoistAcyclic $
plam $
withBuiltinPairAsData $ \rt el ->
pbuiltinUncurry $ \rt el ->
pif
(PAssocMap.pnull # el)
(pcon $ PJust rt)