arrow-analysis-types/arrow.analysis/PackagesWithLaws

PackagesWithLaws

@Target(allowedTargets = [AnnotationTarget.CLASS])
annotation class PackagesWithLaws(val packages: Array<String>)
Content copied to clipboard

This is used internally to speed up the search for laws Each package with any law should include this annotation in a class of module 'arrow.analysis.hints'

Constructors

Link copied to clipboard
fun PackagesWithLaws(packages: Array<String>)
Content copied to clipboard

Properties

Link copied to clipboard
val packages: Array<String>
Content copied to clipboard