HAX.Common

This module provides some common functions and reexports basic modules.

Basic Types

type Amount = Decimal

type Comment = String

Ranges and Arrays

range1 :: Ix a => ((a, b), (a, b)) -> [a]

Get the range of the first dimension of an array

bounds1 :: ((c, b), (c, b)) -> (c, c)

Get the bounds of the first dimension of an array

range2 :: Ix a => ((a1, a), (a1, a)) -> [a]

Get the range of the second dimension of an array

bounds2 :: ((a, c), (a, c)) -> (c, c)

Get the bounds of the second dimension of an array

updateArray :: (MArray a e m, Ix i) => a i e -> i -> (e -> e) -> m ()

helper function to update an MArray value

assocArray

Arguments

:: Ix i

=> [(i, e)]

a list of associations of the form (index, value)

-> Array i e

generate an array and take the bounds from the input data

Utility functions

when' :: Num a => Bool -> a -> a

Return a value only if the condition holds and zero otherwise.

both :: (b -> c) -> (b, b) -> (c, c)

apply a function to both elements of a pair

conv :: (Real a, Fractional c) => a -> c

Conversion between different fractional types. E.g. between Double and Decimal.

positivePart :: (Ord a, Num a) => a -> a

bound checking array acces with error msg (?!) :: Ix i => Array i e -> (String,i) -> e array ?! (String,index) = if bounds array inRange index then array ! index else error index

take the positive par of a Num

assert :: (MonadTrans t, Monad (t IO)) => (b -> Bool) -> t IO b -> [Char] -> t IO b

assert that the result of an action satisfies a certain condition or print an error message

newtype PList a

Constructors

PList

Fields

• pList :: [a]

Instances

PrintfArg (PList Decimal)

Methods

formatArg :: PList Decimal -> FieldFormatter

parseFormat :: PList Decimal -> ModifierParser

Dates

data ADate

accounting dates

Instances

Eq ADate

Methods

(==) :: ADate -> ADate -> Bool

(/=) :: ADate -> ADate -> Bool

Ord ADate

Methods

compare :: ADate -> ADate -> Ordering

(<) :: ADate -> ADate -> Bool

(<=) :: ADate -> ADate -> Bool

(>) :: ADate -> ADate -> Bool

(>=) :: ADate -> ADate -> Bool

max :: ADate -> ADate -> ADate

min :: ADate -> ADate -> ADate

Show ADate

Methods

showsPrec :: Int -> ADate -> ShowS

show :: ADate -> String

showList :: [ADate] -> ShowS

Ix ADate

Methods

range :: (ADate, ADate) -> [ADate]

index :: (ADate, ADate) -> ADate -> Int

unsafeIndex :: (ADate, ADate) -> ADate -> Int

inRange :: (ADate, ADate) -> ADate -> Bool

rangeSize :: (ADate, ADate) -> Int

unsafeRangeSize :: (ADate, ADate) -> Int

PrintfArg ADate

Methods

formatArg :: ADate -> FieldFormatter

parseFormat :: ADate -> ModifierParser

date :: Int -> Int -> ADate

Construct an ADate value from a month an a year

endOfYear :: Int -> ADate

Create an ADate value that corresponds to the last month of the given year.

month :: Int -> ADate

Create an ADate value that corresponds to the given month in year 0. (Fails if argument is outside of [1..12])

yearMonth

Arguments

:: ADate

-> (Int, Int)

(year,month)

convert a month to a pair of Ints.

getMonth :: ADate -> Int

getYear :: ADate -> Int

Date spans

data ASpan

represents a time span between accounting dates

Constructors

ASpan

Fields

• sMonths :: Int

  0 corresponds to 0 time difference

Instances

Eq ASpan

Methods

(==) :: ASpan -> ASpan -> Bool

(/=) :: ASpan -> ASpan -> Bool

Num ASpan

Methods

(+) :: ASpan -> ASpan -> ASpan

(-) :: ASpan -> ASpan -> ASpan

(*) :: ASpan -> ASpan -> ASpan

negate :: ASpan -> ASpan

abs :: ASpan -> ASpan

signum :: ASpan -> ASpan

fromInteger :: Integer -> ASpan

Ord ASpan

Methods

compare :: ASpan -> ASpan -> Ordering

(<) :: ASpan -> ASpan -> Bool

(<=) :: ASpan -> ASpan -> Bool

(>) :: ASpan -> ASpan -> Bool

(>=) :: ASpan -> ASpan -> Bool

max :: ASpan -> ASpan -> ASpan

min :: ASpan -> ASpan -> ASpan

Show ASpan

Methods

showsPrec :: Int -> ASpan -> ShowS

show :: ASpan -> String

showList :: [ASpan] -> ShowS

Ix ASpan

Methods

range :: (ASpan, ASpan) -> [ASpan]

index :: (ASpan, ASpan) -> ASpan -> Int

unsafeIndex :: (ASpan, ASpan) -> ASpan -> Int

inRange :: (ASpan, ASpan) -> ASpan -> Bool

rangeSize :: (ASpan, ASpan) -> Int

unsafeRangeSize :: (ASpan, ASpan) -> Int

months :: Int -> ASpan

Create an ASpan value corresponding to the given number of monhts.

yearMonthSpan

Arguments

:: ASpan

-> (Int, Int)

(year,month)

convert a span to a pair of Ints.

yearSpan :: ASpan -> Int

divides :: ASpan -> ASpan -> Bool

Check if the second span is a multiple of the first.

dateSpan

Arguments

:: ADate

start date

-> ADate

end date

-> ASpan

Calculate the span between two dates

shift :: ASpan -> ADate -> ADate

Shift a date by a given date span.

Reexported modules

module Control.Applicative

module Control.Arrow

module Control.Monad

module Control.Monad.RWS.Strict

module Data.Array

module Data.Array.IO

module Data.Decimal

module Data.Function

module Data.List

module Data.Maybe

module Data.Monoid

module Data.Ord

module Data.Ratio

module Data.String

module Data.Tuple

module Text.Printf

module Text.Show

Orphan instances

(Show a, Integral a) => PrintfArg (DecimalRaw a)

Methods

formatArg :: DecimalRaw a -> FieldFormatter

parseFormat :: DecimalRaw a -> ModifierParser