plutarch-extra-1.2.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.List

Synopsis

preverse :: PIsListLike l a => Term s (l a :--> l a)
pcheckSorted :: (PIsListLike l a, POrd a) => Term s (l a :--> PBool)

Documentation

preverse :: PIsListLike l a => Term s (l a :--> l a) Source #

O(n) . reverses a list

pcheckSorted :: (PIsListLike l a, POrd a) => Term s (l a :--> PBool) Source #

O(n) .checks whether a list is sorted