schematic/schematic/bijection

bijection

object bijection

Provides capabilities to express a bijection between a type contained within the metamodel and one that is not.

class Object
trait Matchable
class Any

Type members

Classlikes

trait ClosedSyntax[S <: ([x[_]] =>> Schematic[x])]
trait OpenSyntax
class Schema[S <: ([x[_]] =>> Schematic[x]), A, B](schema: Schema[S, A], to: A => B, from: B => A) extends Schema[S, B]
trait Schematic[F[_]]