usability stuff - Githubissues

mblink / typify

More types in your scala, in a very type safe way

Other

8 stars 0 forks source link

usability stuff #5

Open brianbondlink opened 8 years ago

brianbondlink commented 8 years ago

Re-add typeclass derivation and integrate with refined
Define a trait to extend that abstract def for p2e and proxies to validate and optional
Syntax sugar for HList def, so I can do ('foo ->> bar) + ('baz ->> quux) and ideally skip shapeless imports (record will be tricky but maybe wrapper type will work)

brianbondlink commented 8 years ago

Refined integration could use a typeclass that knows how to extract a ValidationNel from the lifted type, VNel could contain underlying primitve removing need for untagging. Generic approach makes room for sugar around creating custom types, gets back to original impl with less boilerplate.