Compose refinements

[NeQuissimus]

I have a (seemingly) unusual use-case with refined:

I would like to define a combination of refinements.

Here is a simple example:

import eu.timepit.refined.predicates.all._

type Hostname = NonEmptyString
type Port = PortNumber

type HostAddress = ??? // I would like this to be (NonEmptyString + ":" + PortNumber)

I don't think there is a way to do this in refined.
Any thoughts?

[fthomas]

@NeQuissimus I'd probably combine hostname and port in a case class:

case class HostAddress(name: NonEmptyString, port: PortNumber)

But I guess your HostAddress would be more like a String Refined P where P is a combination of NonEmpty, Equal[:], and Interval.Closed[0, 65535]. I don't see a way how this could work.