-
-
Notifications
You must be signed in to change notification settings - Fork 165
Open
Description
When combining AppliedFragments, should we intercalcate a space? I think technically that would violate the Monoid rules but I think that is what callers would want 99% of the time.
/** `AppliedFragment` is a monoid. */
implicit val MonoidAppFragment: Monoid[AppliedFragment] =
new Monoid[AppliedFragment] {
def combine(x: AppliedFragment, y: AppliedFragment): AppliedFragment = x |+| y
def empty: AppliedFragment = AppliedFragment.empty
}Metadata
Metadata
Assignees
Labels
No labels