mixed-types-num-0.1.0.1: Alternative Prelude with numeric and logic expressions typed bottom-up

Index - S

safeConvertExactlyNumeric.MixedTypes.Literals, Numeric.MixedTypes
scaleFloatNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
scanlNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
scanl1Numeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
scanrNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
scanr1Numeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
seqNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
sequenceNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
sequenceANumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
sequence_Numeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
ShowNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showCharNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showListNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showParenNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
ShowSNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showsNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showsPrecNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
showStringNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
significandNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
sinNumeric.MixedTypes.Elementary, Numeric.MixedTypes
SinCosTypeNumeric.MixedTypes.Elementary, Numeric.MixedTypes
sndNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
spanNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
specCanAbsNumeric.MixedTypes.MinMaxAbs, Numeric.MixedTypes
specCanAddNumeric.MixedTypes.AddSub, Numeric.MixedTypes
specCanAddNotMixedNumeric.MixedTypes.AddSub, Numeric.MixedTypes
specCanAddSameTypeNumeric.MixedTypes.AddSub, Numeric.MixedTypes
specCanAndOrNumeric.MixedTypes.Bool, Numeric.MixedTypes
specCanAndOrNotMixedNumeric.MixedTypes.Bool, Numeric.MixedTypes
specCanBeIntegerNumeric.MixedTypes.Literals, Numeric.MixedTypes
specCanDivNumeric.MixedTypes.Field, Numeric.MixedTypes
specCanDivNotMixedNumeric.MixedTypes.Field, Numeric.MixedTypes
specCanExpRealNumeric.MixedTypes.Elementary, Numeric.MixedTypes
specCanLogRealNumeric.MixedTypes.Elementary, Numeric.MixedTypes
specCanMinMaxNumeric.MixedTypes.MinMaxAbs, Numeric.MixedTypes
specCanMinMaxNotMixedNumeric.MixedTypes.MinMaxAbs, Numeric.MixedTypes
specCanMulNumeric.MixedTypes.Ring, Numeric.MixedTypes
specCanMulNotMixedNumeric.MixedTypes.Ring, Numeric.MixedTypes
specCanMulSameTypeNumeric.MixedTypes.Ring, Numeric.MixedTypes
specCanNegBoolNumeric.MixedTypes.Bool, Numeric.MixedTypes
specCanNegNumNumeric.MixedTypes.MinMaxAbs, Numeric.MixedTypes
specCanPickNonZeroNumeric.MixedTypes.Eq, Numeric.MixedTypes
specCanPowNumeric.MixedTypes.Ring, Numeric.MixedTypes
specCanRoundNumeric.MixedTypes.Round, Numeric.MixedTypes
specCanSinCosRealNumeric.MixedTypes.Elementary, Numeric.MixedTypes
specCanSqrtRealNumeric.MixedTypes.Elementary, Numeric.MixedTypes
specCanSubNumeric.MixedTypes.AddSub, Numeric.MixedTypes
specCanSubNotMixedNumeric.MixedTypes.AddSub, Numeric.MixedTypes
specCanTestCertainlyNumeric.MixedTypes.Bool, Numeric.MixedTypes
specCanTestZeroNumeric.MixedTypes.Eq, Numeric.MixedTypes
specConversionNumeric.MixedTypes.Eq, Numeric.MixedTypes
specHasEqNumeric.MixedTypes.Eq, Numeric.MixedTypes
specHasEqNotMixedNumeric.MixedTypes.Eq, Numeric.MixedTypes
specHasIntegerBoundsNumeric.MixedTypes.Round, Numeric.MixedTypes
specHasOrderNumeric.MixedTypes.Ord, Numeric.MixedTypes
specHasOrderNotMixedNumeric.MixedTypes.Ord, Numeric.MixedTypes
specIsBoolNumeric.MixedTypes.Bool, Numeric.MixedTypes
splitAtNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
sqrtNumeric.MixedTypes.Elementary, Numeric.MixedTypes
SqrtTypeNumeric.MixedTypes.Elementary, Numeric.MixedTypes
StringNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
stronglyEquivalentToNumeric.MixedTypes.Bool, Numeric.MixedTypes
stronglyImpliesNumeric.MixedTypes.Bool, Numeric.MixedTypes
subNumeric.MixedTypes.AddSub, Numeric.MixedTypes
subtractNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
SubTypeNumeric.MixedTypes.AddSub, Numeric.MixedTypes
succNumeric.MixedTypes.PreludeHiding, Numeric.MixedTypes
sumNumeric.MixedTypes.AddSub, Numeric.MixedTypes