Numeric.MixedTypes.Literals

Fixed-type literals

fromInteger

fromRational

Generalised if-then-else

class HasIfThenElse b t

type HasIfThenElseSameType b t

Convenient conversions

type CanBeInteger t

integer

integers

type HasIntegers t

fromInteger_

type CanBeInt t

int

ints

type CanBeRational t

rational

rationals

type HasRationals t

fromRational_

type CanBeDouble t

double

doubles

class ConvertibleExactly t1 t2

convertExactly

convertExactlyTargetSample

type ConvertResult a

data ConvertError

convError

Generic list index

(!!)

specCanBeInteger

printArgsIfFails2

Testing support functions

data T t

tInt

tInteger

tRational

tDouble

tBool

tMaybe

tMaybeBool

tMaybeMaybeBool

Helper functions

convertFirst

convertSecond

convertFirstUsing

convertSecondUsing