mixed-types-num-0.5.4.0: Alternative Prelude with numeric and logic expressions typed bottom-up
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Numeric.MixedTypes.Literals

Description

This module defines fixed-type integer and rational literals. This is useful when deriving the type of an expression bottom-up. Eg we would not be able to write 1 < x when the type of < does not force the two sides to be of the same type. We would need to write eg (1::Integer) < x with Prelude's generic literals.

Moreover, convenient conversion functions are provided for the most common numeric types. Thus one can say eg:

  • take (int 1)
  • integer (length list).
  • double 0.5

To avoid integer overflow, no aritmetic operations return Int. Nevertheless, one can usually mix Int with other types in expressions.

Any approximate arithmetic, ie arithmetic involving Doubles, returns values of type Double. Double values cannot be easily converted to exact types such as Rational or Integer so that all such conversions are clearly visible as labelled as inexact.

Synopsis

Fixed-type literals

fromInteger :: Integer -> Integer Source #

Replacement for fromInteger using the RebindableSyntax extension. This version of fromInteger arranges that integer literals are always of type Integer.

fromRational :: Rational -> Rational Source #

Replacement for fromRational using the RebindableSyntax extension. This version of fromRational arranges that rational literals are always of type Rational.

Generalised if-then-else

class HasIfThenElse b t where Source #

Restore if-then-else with RebindableSyntax

Associated Types

type IfThenElseType b t Source #

type IfThenElseType b t = t

Methods

ifThenElse :: b -> t -> t -> IfThenElseType b t Source #

Instances

Instances details
HasIfThenElse Bool t Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

Associated Types

type IfThenElseType Bool t Source #

Methods

ifThenElse :: Bool -> t -> t -> IfThenElseType Bool t Source #

(HasIfThenElse b t, CanTakeErrors es (IfThenElseType b t), CanBeErrors es) => HasIfThenElse (CollectErrors es b) t Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

Associated Types

type IfThenElseType (CollectErrors es b) t Source #

Methods

ifThenElse :: CollectErrors es b -> t -> t -> IfThenElseType (CollectErrors es b) t Source #

Convenient conversions

int :: CanBeInt t => t -> Int Source #

ints :: CanBeInt t => [t] -> [Int] Source #

doubles :: CanBeDouble t => [t] -> [Double] Source #

class ConvertibleExactly t1 t2 where Source #

Define our own ConvertibleExactly since convertible is too relaxed for us. For example, convertible allows conversion from Rational to Integer, rounding to nearest integer. We prefer to allow only exact conversions.

Minimal complete definition

Nothing

Instances

Instances details
ConvertibleExactly Bool Bool Source # 
Instance details

Defined in Numeric.MixedTypes.Bool

ConvertibleExactly Double Double Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Int Double Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Int Int Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Int Integer Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Int Rational Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Integer Double Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Integer Int Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Integer Integer Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Integer Rational Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Rational Rational Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly Int t => ConvertibleExactly Int (Complex t) Source # 
Instance details

Defined in Numeric.MixedTypes.Complex

ConvertibleExactly Integer t => ConvertibleExactly Integer (Complex t) Source # 
Instance details

Defined in Numeric.MixedTypes.Complex

ConvertibleExactly Rational t => ConvertibleExactly Rational (Complex t) Source # 
Instance details

Defined in Numeric.MixedTypes.Complex

(ConvertibleExactly Bool t, Monoid es) => ConvertibleExactly Bool (CollectErrors es t) Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

(ConvertibleExactly Double t, Monoid es) => ConvertibleExactly Double (CollectErrors es t) Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

(ConvertibleExactly Int t, Monoid es) => ConvertibleExactly Int (CollectErrors es t) Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

(ConvertibleExactly Integer t, Monoid es) => ConvertibleExactly Integer (CollectErrors es t) Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

(ConvertibleExactly Rational t, Monoid es) => ConvertibleExactly Rational (CollectErrors es t) Source # 
Instance details

Defined in Numeric.MixedTypes.Literals

ConvertibleExactly t1 t2 => ConvertibleExactly (Complex t1) (Complex t2) Source # 
Instance details

Defined in Numeric.MixedTypes.Complex

type ConvertResult a = Either ConvertError a Source #

The result of a safe conversion via safeConvert.

data ConvertError Source #

How we indicate that there was an error.

Prelude List operations versions without Int

(!!) :: CanBeInteger n => [a] -> n -> a Source #

length :: Foldable t => t a -> Integer Source #

replicate :: CanBeInteger n => n -> a -> [a] Source #

take :: CanBeInteger n => n -> [a] -> [a] Source #

drop :: CanBeInteger n => n -> [a] -> [a] Source #

splitAt :: CanBeInteger n => n -> [a] -> ([a], [a]) Source #

Testing support functions

data T t Source #

A runtime representative of type t. Used for specialising polymorphic tests to concrete types.

Constructors

T String 

tMaybe :: T t -> T (Maybe t) Source #

specCanBeInteger :: (CanBeInteger t, Show t, Arbitrary t) => T t -> Spec Source #

HSpec properties that each implementation of CanBeInteger should satisfy.

printArgsIfFails2 :: (Testable prop, Show a, Show b) => String -> (a -> b -> prop) -> a -> b -> Property Source #

Helper functions

convertFirst Source #

Arguments

:: ConvertibleExactly a b 
=> (b -> b -> c)

same-type operation

-> a -> b -> c

mixed-type operation

convertSecond Source #

Arguments

:: ConvertibleExactly b a 
=> (a -> a -> c)

same-type operation

-> a -> b -> c

mixed-type operation

convertFirstUsing Source #

Arguments

:: (a -> b -> b)

conversion function

-> (b -> b -> c)

same-type operation

-> a -> b -> c

mixed-type operation

convertSecondUsing Source #

Arguments

:: (a -> b -> a)

conversion function

-> (a -> a -> c)

same-type operation

-> a -> b -> c

mixed-type operation