mirror of
https://github.com/digital-asset/daml.git
synced 2024-09-20 09:17:43 +03:00
52efc0966c
* new data-scalacheck library for ImmArray, FrontStack, et al * add checkLaws functions as library to data-scalacheck * make checkLaws more configurable at use points
27 lines
798 B
Python
27 lines
798 B
Python
# Copyright (c) 2019 Digital Asset (Switzerland) GmbH and/or its affiliates. All rights reserved.
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
load(
|
|
"//bazel_tools:scala.bzl",
|
|
"da_scala_library",
|
|
"lf_scalacopts",
|
|
)
|
|
|
|
da_scala_library(
|
|
name = "data-scalacheck",
|
|
srcs = glob(["src/main/**/*.scala"]),
|
|
plugins = [
|
|
"//external:jar/org/spire_math/kind_projector_2_12",
|
|
],
|
|
scalacopts = lf_scalacopts,
|
|
tags = ["maven_coordinates=com.digitalasset:daml-lf-data-scalacheck:__VERSION__"],
|
|
visibility = ["//visibility:public"],
|
|
deps = [
|
|
"//3rdparty/jvm/org/scalacheck",
|
|
"//3rdparty/jvm/org/scalatest",
|
|
"//3rdparty/jvm/org/scalaz:scalaz_core",
|
|
"//3rdparty/jvm/org/scalaz:scalaz_scalacheck_binding",
|
|
"//daml-lf/data",
|
|
],
|
|
)
|