Fallback

Priority

Field

ring

FieldFunctions

ring

FloatAlgebra

instances

FloatInstances

instances

FloatMinMaxLattice

FloatInstances

floatAlgebra

FloatInstances

fold

Priority

fromBigInt

BigDecimalAlgebra BigIntAlgebra ByteAlgebra DoubleAlgebra FloatAlgebra IntAlgebra LongAlgebra ShortAlgebra Ring RingFunctions

fromBool

DeMorgan

fromDouble

DoubleAlgebra FloatAlgebra Field FieldFunctions

fromHeyting

Logic

fromInt

BigDecimalAlgebra BigIntAlgebra ByteAlgebra DoubleAlgebra FloatAlgebra IntAlgebra LongAlgebra ShortAlgebra Ring RingFunctions