anoma / juvix-stdlib

The Juvix standard library
https://anoma.github.io/juvix-stdlib/
11 stars 2 forks source link

Losen the Constraints on the Partial Trait #145

Open mariari opened 3 weeks ago

mariari commented 3 weeks ago

Partial trait relied upon

import Stdlib.Data.String.Base open;

which indirectly relies upon list, we loosen the restriction to just rely on the String type itself.

This lets us move some functions around to the base module