Closed robrix closed 9 years ago
Madness’ combinators can parse over recursive sliceables (i.e. S: Sliceable where S.SubSlice == S).
S: Sliceable where S.SubSlice == S
%x
x: S where S: Sliceable, S.SubSlice == S
x: S.Generator.Element where S: Sliceable, S.SubSlice == S, S.Generator.Element: Equatable
Note that Sliceable requires CollectionType. I’ve opened an issue about relaxing the constraint to CollectionType.
Sliceable
CollectionType
Fixes #43.
/cc @jspahrsummers
Madness’ combinators can parse over recursive sliceables (i.e.
S: Sliceable where S.SubSlice == S
).%x
should work forx: S where S: Sliceable, S.SubSlice == S
.%x
should work forx: S.Generator.Element where S: Sliceable, S.SubSlice == S, S.Generator.Element: Equatable
.Note that
Sliceable
requiresCollectionType
. I’ve opened an issue about relaxing the constraint toCollectionType
.Fixes #43.
/cc @jspahrsummers