def Sorted

bend-lawful-stdlib@0.1.0.0 · src/sorted.bend:25

import Base
import bend-lawful-stdlib@0.1.0.0/src/class.bend as C

25# the list ascends
26def Sorted(~A: Data, ~o: C.Ord<A>, xs: List<&2, A>) -> Type:
27  match xs:
28    case Nil{}:
29      Unit
30    case h <> t:
31      from(~A, ~o, h, t)