~/jendhub

def attempt.pair

bend-kit-property@0.4.0.0 · property.bend:35

import bend-kit-property@0.4.0.0/property.bend as Property
import Base

35def attempt.pair(~T: Type, ~shrink: T -> List<&1, T>, ~test: T -> T & Bool, pair: T & T) -> T & Maybe<&1, T>:
36  (original, probe) = pair
37  (original, smaller.start(~T, ~test, shrink(probe)))

Uses (6)

Used by (1)