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

adding dummy function for pindex

Browse source
This commit is contained in:
Jack Hodgkinson 2022-01-28 14:01:50 +00:00
parent 53ca5437d9
commit 7a4cb8276d
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/Agora/AuthorityToken.hs
View file

@ -27,7 +27,6 @@ import Plutus.V1.Ledger.Value (AssetClass (..))
import Plutarch.Api.V1 hiding (PMaybe (..))
import Plutarch.Bool (PBool, PEq, pif, (#<), (#==))
import Plutarch.Builtin (PBuiltinPair, PData, pdata, pfromData, pfstBuiltin, psndBuiltin)
import Plutarch.DataRepr (pindexDataList)
import Plutarch.Integer (PInteger)
import Plutarch.Lift (pconstant)
import Plutarch.List (PIsListLike, pfoldr', precList)
@ -49,6 +48,8 @@ data AuthorityToken = AuthorityToken
--------------------------------------------------------------------------------
pindexDataList = undefined
-- TODO: upstream something like this
pfind' :: PIsListLike list a => (Term s a -> Term s PBool) -> Term s (list a :--> PMaybe a)
pfind' p =