Cardano.Plutus.DataSchema.RowList

class AllUniqueLabels :: forall (k :: Type). RowList k -> Constraintclass AllUniqueLabels list 

Uniqueness constraint on the labels of an unordered RowList Current implementation causes a compilation slowdown for complex types GH Issue: https://github.com/Plutonomicon/cardano-transaction-lib/issues/433

Instances

• AllUniqueLabels Nil
• AllUniqueLabels (Cons k a Nil)
• (Fail (Text "Labels are not unique!")) => AllUniqueLabels (Cons k a (Cons k a' xs))
• (AllUniqueLabels (Cons k a xs), AllUniqueLabels (Cons k' a' xs)) => AllUniqueLabels (Cons k a (Cons k' a' xs))