Here's an ADT which is not a GADT, in Haskell:
data Expr = IntExpr Int | BoolExpr Bool
import java.time.{LocalDate, LocalDateTime, LocalTime} | |
/*case */class FullName(val first: String, val last: String) | |
object FullName { | |
def apply(first: String, last: String): FullName = | |
new FullName(first, last) | |
def unapply(full: FullName): Some[(String, String)] = | |
Some((full.first, full.last)) |
The official installation instructions for pgModeler recommends installing Xcode and the Enterprise DB distribution of Postgres to fulfill its build requirements. Luckily, Homebrew's got us covered!
Checkout the source
git clone https://github.com/pgmodeler/pgmodeler.git
tasks.withType<Jar> { | |
manifest { | |
attributes["Main-Class"] = "com.example.MainKt" | |
} | |
} |
{-# LANGUAGE RankNTypes #-} | |
module RankN where | |
-- Rank 0: | |
-- add1 is momomorphic | |
add1 :: Int -> Int | |
add1 x = x + 1 | |
-- Rank 1 |
package effects | |
import cats.{MonadError, StackSafeMonad} | |
import scala.concurrent.{ExecutionContext, Future} | |
import scala.util.{Failure, Success, Try} | |
final case class F[+E, +A](value: Future[Either[E, A]]) extends AnyVal { | |
def fold[B](fe: E => B, fa: A => B)(implicit ec: ExecutionContext): Future[B] = value.map { |
import io.opentelemetry.api.baggage.Baggage | |
import io.opentelemetry.api.baggage.propagation.W3CBaggagePropagator | |
import io.opentelemetry.context.propagation.TextMapGetter | |
import io.wolverinebeach.zio.telemetry.Tracing | |
import zio.Trace | |
import zio.ZIO | |
import zio.ZIOAspect | |
import zio.http.* | |
import java.lang |
//> using dep com.github.ghostdogpr::caliban-quick:2.7.1 | |
import caliban.* | |
import caliban.CalibanError.* | |
import caliban.Value.StringValue | |
import caliban.execution.FieldInfo | |
import caliban.parsing.adt.Directive | |
import caliban.quick.* | |
import caliban.schema.Annotations.* | |
import caliban.schema.Schema |
object YAML: | |
apiVersion: | |
apps/v1 | |
kind: | |
Deployment | |
metadata: | |
name: | |
"my-app" | |
namespace: | |
"my-app" |