Function emptyString

packages/typeclass/test/Contravariant.test.ts:15–15

(p)

      PredicateInstances.Contravariant
    )
    const emptyString: P.Predicate<P.Predicate<string>> = (p) => p("") === true
    const a = map(emptyString, (s) => s.length)
    U.deepStrictEqual(a(S.isString), false)
    U.deepStrictEqual(a((n) => n === 0), true)