issues
search
2bdkid
/
refinement
Convenient creation of type-safe refinement types.
17
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`Refinement.to_inner` misleading name and documentation
#8
koutheir
opened
1 year ago
0
Add a constructor `Refinement::try_new`
#7
8573
opened
1 year ago
0
`DerefMut` breaks type safety
#6
T0mstone
opened
1 year ago
2
Manually impl clone & copy for refinement
#5
jjpe
closed
1 year ago
0
Manually impl Debug for refinement
#4
jjpe
closed
1 year ago
0
Manually implement Clone & Copy for Refinement<T, P>
#3
jjpe
closed
1 year ago
1
Add impl {Deref,DerefMut} for Refinement
#2
jjpe
closed
1 year ago
1
{Deref, DerefMut} impl for Refinement<T, P>
#1
jjpe
closed
1 year ago
2