flix

0.55.0

Coerce

trait Coerce[t: Type]Source

A trait for type that can be coerced.

Currently only supports newtype-style wrappers.

Associated Types

type Out: TypeSource

The return type of the coerce function.

Instances

instance Coerce[Down[a]]Source

Signatures

def coerce(x: t): Out[t] with Coerce[t] Source

Returns the unwrapped value of x.