laws
laws
spire.laws
ActionLaws
ActionLaws
ActionProperties
AdditiveProperties
MultiplicativeProperties
BaseLaws
BaseLaws
CombinationLaws
CombinationLaws
GroupLaws
GroupLaws
AdditiveProperties
GroupProperties
InvalidTestException
InvalidTestException
InvolutionLaws
InvolutionLaws
LatticeLaws
LatticeLaws
LatticeProperties
LatticePartialOrderLaws
LatticePartialOrderLaws
LatticePartialOrderProperties
LogicLaws
LogicLaws
OrderLaws
OrderLaws
OrderProperties
PartialActionLaws
PartialActionLaws
ActionProperties
PartialGroupLaws
PartialGroupLaws
RingLaws
RingLaws
MultiplicativeProperties
RingProperties
RingProperties
VectorSpaceLaws
VectorSpaceLaws
SpaceProperties
SpaceProperties
arb
gen
spire.laws.shadows
Shadow
Shadow
ShadowAdditiveAbGroup
ShadowAdditiveCMonoid
ShadowAdditiveCSemigroup
ShadowCRig
ShadowCRing
ShadowCRng
ShadowCSemiring
ShadowEq
ShadowEuclideanRing
ShadowGCDRing
ShadowInstances0
ShadowInstances1
ShadowInstances2
ShadowInstances3
ShadowInstances4
ShadowInstances5
ShadowInstances6
ShadowInstances7
ShadowInvolution
ShadowMultiplicativeCMonoid
ShadowMultiplicativeCSemigroup
ShadowOrder
ShadowPartialOrder
ShadowSigned
ShadowTruncatedDivision
Shadowing
Shadowing
laws
/
spire.laws
/
gen
gen
object
gen
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
gen
.type
Value members
Value members
Concrete methods
def
bound
[
A
:
Arbitrary
]:
Gen
[
Bound
[
A
]]
def
boundedInterval
[
A
:
Order
]:
Gen
[
Interval
[
A
]]
def
bounds
[
A
:
Order
]:
Gen
[(
A
,
A
)]
def
closedInterval
[
A
:
Order
]:
Gen
[
Interval
[
A
]]
def
complex
[
A
:
Arbitrary
]:
Gen
[
Complex
[
A
]]
def
freeAbGroup
[
A
:
Arbitrary
]:
Gen
[
FreeAbGroup
[
A
]]
def
freeGroup
[
A
:
Arbitrary
]:
Gen
[
FreeGroup
[
A
]]
def
freeMonoid
[
A
:
Arbitrary
]:
Gen
[
FreeMonoid
[
A
]]
def
interval
[
A
:
Order
]:
Gen
[
Interval
[
A
]]
def
jet
[
A
:
ClassTag
]:
Gen
[
Jet
[
A
]]
def
jet2
[
A
:
ClassTag
]:
Gen
[
Jet
[
A
]]
def
makeBoundedInterval
[
A
:
Order
](
f: (
A
,
A
)
=>
Interval
[
A
]):
Gen
[
Interval
[
A
]]
def
openInterval
[
A
:
Order
]:
Gen
[
Interval
[
A
]]
def
openLowerInterval
[
A
:
Order
]:
Gen
[
Interval
[
A
]]
def
openUpperInterval
[
A
:
Order
]:
Gen
[
Interval
[
A
]]
def
polynomial
[
A
:
ClassTag
]:
Gen
[
Polynomial
[
A
]]
def
quaternion
[
A
:
Arbitrary
]:
Gen
[
Quaternion
[
A
]]
def
term
[
A
:
Arbitrary
]:
Gen
[
Term
[
A
]]
Concrete fields
lazy
val
algebraic
:
Gen
[
Algebraic
]
lazy
val
bigInteger
:
Gen
[
BigInteger
]
lazy
val
fixedPoint
:
Gen
[
FixedPoint
]
lazy
val
fixedScale
:
Gen
[
FixedScale
]
lazy
val
natural
:
Gen
[
Natural
]
lazy
val
number
:
Gen
[
Number
]
val
perm
:
Gen
[
Perm
]
lazy
val
rational
:
Gen
[
Rational
]
lazy
val
rationalFromLongs
:
Gen
[
Rational
]
lazy
val
real
:
Gen
[
Real
]
lazy
val
realFromLongs
:
Gen
[
Real
]
lazy
val
safeLong
:
Gen
[
SafeLong
]
lazy
val
sign
:
Gen
[
Sign
]
lazy
val
trilean
:
Gen
[
Trilean
]
lazy
val
ubyte
:
Gen
[
UByte
]
lazy
val
uint
:
Gen
[
UInt
]
lazy
val
ulong
:
Gen
[
ULong
]
lazy
val
ushort
:
Gen
[
UShort
]