Documentation

type PTuple a b = PDataSum '['["_0" := a, "_1" := b]] Source #

ptuple :: Term s (PAsData a :--> (PAsData b :--> PTuple a b)) Source #

ptupleFromBuiltin :: Term s (PAsData (PBuiltinPair (PAsData a) (PAsData b))) -> Term s (PAsData (PTuple a b)) Source #

pbuiltinPairFromTuple :: Term s (PAsData (PTuple a b)) -> Term s (PAsData (PBuiltinPair (PAsData a) (PAsData b))) Source #