• Home
• io.github.takapi327
• ldbc-schema_native0.4_3
• 0.3.0-beta8
• source code
• Extract.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

ldbc.schema.interpreter.Extract.scala Maven / Gradle / Ivy

/**
 * Copyright (c) 2023-2024 by Takahiko Tominaga
 * This software is licensed under the MIT License (MIT).
 * For more information see LICENSE or https://opensource.org/licenses/MIT
 */

package ldbc.schema.interpreter

/** A type function to pull a type parameter it has from a type with one type parameter. */
type Extract[T] = T match
  case Option[t] => Extract[t]
  case Array[t]  => Extract[t]
  case List[t]   => Extract[t]
  case Seq[t]    => Extract[t]
  case Set[t]    => Extract[t]
  case _         => T

/** A type function that derives its type from the type parameters that Option has. */
type ExtractOption[T] = T match
  case Option[t] => Extract[t]
  case _         => T