Tax.Canada.Shared

Common types and functions shared by multiple Canadian tax forms

Documentation

data TaxIncomeBracket line

Constructors

TaxIncomeBracket

Fields

• income :: line Centi
• threshold :: line Centi
• overThreshold :: line Centi
• rate :: line Rational
• timesRate :: line Centi
• baseTax :: line Centi
• equalsTax :: line Centi

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Centi, At t Centi, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Foldable t TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> TaxIncomeBracket (Domain t) -> m

(Transformation t, At t Centi, At t Centi, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Functor t TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

(<$>) :: t -> TaxIncomeBracket (Domain t) -> TaxIncomeBracket (Codomain t)

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Centi, At t Centi, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Traversable t TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

traverse :: forall m (f :: Type -> Type). Codomain t ~ Compose m f => t -> TaxIncomeBracket (Domain t) -> m (TaxIncomeBracket f)

Applicative TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

pure :: (forall (a :: k). f a) -> TaxIncomeBracket f

Apply TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

(<*>) :: forall (p :: k -> Type) (q :: k -> Type). TaxIncomeBracket (p ~> q) -> TaxIncomeBracket p -> TaxIncomeBracket q

liftA2 :: (forall (a :: k). p a -> q a -> r a) -> TaxIncomeBracket p -> TaxIncomeBracket q -> TaxIncomeBracket r

liftA3 :: (forall (a :: k). p a -> q a -> r a -> s a) -> TaxIncomeBracket p -> TaxIncomeBracket q -> TaxIncomeBracket r -> TaxIncomeBracket s

Distributive TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

collect :: forall p a (q :: k1 -> Type). Functor p => (a -> TaxIncomeBracket q) -> p a -> TaxIncomeBracket (Compose p q)

distribute :: forall p (q :: k1 -> Type). Functor p => p (TaxIncomeBracket q) -> TaxIncomeBracket (Compose p q)

cotraverse :: Functor m => (forall (a :: k1). m (p a) -> q a) -> m (TaxIncomeBracket p) -> TaxIncomeBracket q

DistributiveTraversable TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

collectTraversable :: forall f1 a (f2 :: k -> Type). Traversable f1 => (a -> TaxIncomeBracket f2) -> f1 a -> TaxIncomeBracket (Compose f1 f2)

distributeTraversable :: forall f1 (f2 :: k -> Type). Traversable f1 => f1 (TaxIncomeBracket f2) -> TaxIncomeBracket (Compose f1 f2)

cotraverseTraversable :: Traversable f1 => (forall (x :: k). f1 (f2 x) -> f x) -> f1 (TaxIncomeBracket f2) -> TaxIncomeBracket f

Foldable TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

foldMap :: Monoid m => (forall (a :: k). p a -> m) -> TaxIncomeBracket p -> m

Functor TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

(<$>) :: (forall (a :: k). p a -> q a) -> TaxIncomeBracket p -> TaxIncomeBracket q

Logistic TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

deliver :: forall p (q :: k1 -> Type). Contravariant p => p (TaxIncomeBracket q -> TaxIncomeBracket q) -> TaxIncomeBracket (Compose p (q ~> q))

Traversable TaxIncomeBracket

Defined in Tax.Canada.Shared

Methods

traverse :: Applicative m => (forall (a :: k). p a -> m (q a)) -> TaxIncomeBracket p -> m (TaxIncomeBracket q)

sequence :: forall m (p :: k -> Type). Applicative m => TaxIncomeBracket (Compose m p) -> m (TaxIncomeBracket p)

(Show (line Centi), Show (line Rational)) => Show (TaxIncomeBracket line)

Defined in Tax.Canada.Shared

Methods

showsPrec :: Int -> TaxIncomeBracket line -> ShowS

show :: TaxIncomeBracket line -> String

showList :: [TaxIncomeBracket line] -> ShowS

(Eq (line Centi), Eq (line Rational)) => Eq (TaxIncomeBracket line)

Defined in Tax.Canada.Shared

Methods

(==) :: TaxIncomeBracket line -> TaxIncomeBracket line -> Bool

(/=) :: TaxIncomeBracket line -> TaxIncomeBracket line -> Bool

data MedicalExpenses line

Constructors

MedicalExpenses

Fields

• expenses :: line Centi
• netIncome :: line Centi
• incomeRate :: line Rational
• fraction :: line Centi
• lesser :: line Centi
• difference :: line Centi

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Centi, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Foldable t MedicalExpenses

Defined in Tax.Canada.Shared

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> MedicalExpenses (Domain t) -> m

(Transformation t, At t Centi, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Functor t MedicalExpenses

Defined in Tax.Canada.Shared

Methods

(<$>) :: t -> MedicalExpenses (Domain t) -> MedicalExpenses (Codomain t)

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Centi, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Traversable t MedicalExpenses

Defined in Tax.Canada.Shared

Methods

traverse :: forall m (f :: Type -> Type). Codomain t ~ Compose m f => t -> MedicalExpenses (Domain t) -> m (MedicalExpenses f)

Applicative MedicalExpenses

Defined in Tax.Canada.Shared

Methods

pure :: (forall (a :: k). f a) -> MedicalExpenses f

Apply MedicalExpenses

Defined in Tax.Canada.Shared

Methods

(<*>) :: forall (p :: k -> Type) (q :: k -> Type). MedicalExpenses (p ~> q) -> MedicalExpenses p -> MedicalExpenses q

liftA2 :: (forall (a :: k). p a -> q a -> r a) -> MedicalExpenses p -> MedicalExpenses q -> MedicalExpenses r

liftA3 :: (forall (a :: k). p a -> q a -> r a -> s a) -> MedicalExpenses p -> MedicalExpenses q -> MedicalExpenses r -> MedicalExpenses s

Distributive MedicalExpenses

Defined in Tax.Canada.Shared

Methods

collect :: forall p a (q :: k1 -> Type). Functor p => (a -> MedicalExpenses q) -> p a -> MedicalExpenses (Compose p q)

distribute :: forall p (q :: k1 -> Type). Functor p => p (MedicalExpenses q) -> MedicalExpenses (Compose p q)

cotraverse :: Functor m => (forall (a :: k1). m (p a) -> q a) -> m (MedicalExpenses p) -> MedicalExpenses q

DistributiveTraversable MedicalExpenses

Defined in Tax.Canada.Shared

Methods

collectTraversable :: forall f1 a (f2 :: k -> Type). Traversable f1 => (a -> MedicalExpenses f2) -> f1 a -> MedicalExpenses (Compose f1 f2)

distributeTraversable :: forall f1 (f2 :: k -> Type). Traversable f1 => f1 (MedicalExpenses f2) -> MedicalExpenses (Compose f1 f2)

cotraverseTraversable :: Traversable f1 => (forall (x :: k). f1 (f2 x) -> f x) -> f1 (MedicalExpenses f2) -> MedicalExpenses f

Foldable MedicalExpenses

Defined in Tax.Canada.Shared

Methods

foldMap :: Monoid m => (forall (a :: k). p a -> m) -> MedicalExpenses p -> m

Functor MedicalExpenses

Defined in Tax.Canada.Shared

Methods

(<$>) :: (forall (a :: k). p a -> q a) -> MedicalExpenses p -> MedicalExpenses q

Logistic MedicalExpenses

Defined in Tax.Canada.Shared

Methods

deliver :: forall p (q :: k1 -> Type). Contravariant p => p (MedicalExpenses q -> MedicalExpenses q) -> MedicalExpenses (Compose p (q ~> q))

Traversable MedicalExpenses

Defined in Tax.Canada.Shared

Methods

traverse :: Applicative m => (forall (a :: k). p a -> m (q a)) -> MedicalExpenses p -> m (MedicalExpenses q)

sequence :: forall m (p :: k -> Type). Applicative m => MedicalExpenses (Compose m p) -> m (MedicalExpenses p)

(Show (line Centi), Show (line Rational)) => Show (MedicalExpenses line)

Defined in Tax.Canada.Shared

Methods

showsPrec :: Int -> MedicalExpenses line -> ShowS

show :: MedicalExpenses line -> String

showList :: [MedicalExpenses line] -> ShowS

(Eq (line Centi), Eq (line Rational)) => Eq (MedicalExpenses line)

Defined in Tax.Canada.Shared

Methods

(==) :: MedicalExpenses line -> MedicalExpenses line -> Bool

(/=) :: MedicalExpenses line -> MedicalExpenses line -> Bool

data BaseCredit line

Used in several provincial forms to calculate a fixed amount of tax credit reduced by income.

Constructors

BaseCredit

Fields

• baseAmount :: line Centi
• reduction :: line Centi
• difference :: line Centi
• cont :: line Centi

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Centi, At t Centi, At t Centi, At t Centi) => Foldable t BaseCredit

Defined in Tax.Canada.Shared

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> BaseCredit (Domain t) -> m

(Transformation t, At t Centi, At t Centi, At t Centi, At t Centi) => Functor t BaseCredit

Defined in Tax.Canada.Shared

Methods

(<$>) :: t -> BaseCredit (Domain t) -> BaseCredit (Codomain t)

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Centi, At t Centi, At t Centi, At t Centi) => Traversable t BaseCredit

Defined in Tax.Canada.Shared

Methods

traverse :: forall m (f :: Type -> Type). Codomain t ~ Compose m f => t -> BaseCredit (Domain t) -> m (BaseCredit f)

Applicative BaseCredit

Defined in Tax.Canada.Shared

Methods

pure :: (forall (a :: k). f a) -> BaseCredit f

Apply BaseCredit

Defined in Tax.Canada.Shared

Methods

(<*>) :: forall (p :: k -> Type) (q :: k -> Type). BaseCredit (p ~> q) -> BaseCredit p -> BaseCredit q

liftA2 :: (forall (a :: k). p a -> q a -> r a) -> BaseCredit p -> BaseCredit q -> BaseCredit r

liftA3 :: (forall (a :: k). p a -> q a -> r a -> s a) -> BaseCredit p -> BaseCredit q -> BaseCredit r -> BaseCredit s

Distributive BaseCredit

Defined in Tax.Canada.Shared

Methods

collect :: forall p a (q :: k1 -> Type). Functor p => (a -> BaseCredit q) -> p a -> BaseCredit (Compose p q)

distribute :: forall p (q :: k1 -> Type). Functor p => p (BaseCredit q) -> BaseCredit (Compose p q)

cotraverse :: Functor m => (forall (a :: k1). m (p a) -> q a) -> m (BaseCredit p) -> BaseCredit q

DistributiveTraversable BaseCredit

Defined in Tax.Canada.Shared

Methods

collectTraversable :: forall f1 a (f2 :: k -> Type). Traversable f1 => (a -> BaseCredit f2) -> f1 a -> BaseCredit (Compose f1 f2)

distributeTraversable :: forall f1 (f2 :: k -> Type). Traversable f1 => f1 (BaseCredit f2) -> BaseCredit (Compose f1 f2)

cotraverseTraversable :: Traversable f1 => (forall (x :: k). f1 (f2 x) -> f x) -> f1 (BaseCredit f2) -> BaseCredit f

Foldable BaseCredit

Defined in Tax.Canada.Shared

Methods

foldMap :: Monoid m => (forall (a :: k). p a -> m) -> BaseCredit p -> m

Functor BaseCredit

Defined in Tax.Canada.Shared

Methods

(<$>) :: (forall (a :: k). p a -> q a) -> BaseCredit p -> BaseCredit q

Logistic BaseCredit

Defined in Tax.Canada.Shared

Methods

deliver :: forall p (q :: k1 -> Type). Contravariant p => p (BaseCredit q -> BaseCredit q) -> BaseCredit (Compose p (q ~> q))

Traversable BaseCredit

Defined in Tax.Canada.Shared

Methods

traverse :: Applicative m => (forall (a :: k). p a -> m (q a)) -> BaseCredit p -> m (BaseCredit q)

sequence :: forall m (p :: k -> Type). Applicative m => BaseCredit (Compose m p) -> m (BaseCredit p)

(Show (line Centi), Show (line Rational)) => Show (BaseCredit line)

Defined in Tax.Canada.Shared

Methods

showsPrec :: Int -> BaseCredit line -> ShowS

show :: BaseCredit line -> String

showList :: [BaseCredit line] -> ShowS

(Eq (line Centi), Eq (line Rational)) => Eq (BaseCredit line)

Defined in Tax.Canada.Shared

Methods

(==) :: BaseCredit line -> BaseCredit line -> Bool

(/=) :: BaseCredit line -> BaseCredit line -> Bool

data SubCalculation line

A pair of form fields appearing next to each other at the same line, the right field value always a copy of the left one.

Constructors

SubCalculation

Fields

• calculation :: line Centi
• result :: line Centi

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Centi, At t Centi) => Foldable t SubCalculation

Defined in Tax.Canada.Shared

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> SubCalculation (Domain t) -> m

(Transformation t, At t Centi, At t Centi) => Functor t SubCalculation

Defined in Tax.Canada.Shared

Methods

(<$>) :: t -> SubCalculation (Domain t) -> SubCalculation (Codomain t)

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Centi, At t Centi) => Traversable t SubCalculation

Defined in Tax.Canada.Shared

Methods

traverse :: forall m (f :: Type -> Type). Codomain t ~ Compose m f => t -> SubCalculation (Domain t) -> m (SubCalculation f)

Applicative SubCalculation

Defined in Tax.Canada.Shared

Methods

pure :: (forall (a :: k). f a) -> SubCalculation f

Apply SubCalculation

Defined in Tax.Canada.Shared

Methods

(<*>) :: forall (p :: k -> Type) (q :: k -> Type). SubCalculation (p ~> q) -> SubCalculation p -> SubCalculation q

liftA2 :: (forall (a :: k). p a -> q a -> r a) -> SubCalculation p -> SubCalculation q -> SubCalculation r

liftA3 :: (forall (a :: k). p a -> q a -> r a -> s a) -> SubCalculation p -> SubCalculation q -> SubCalculation r -> SubCalculation s

Distributive SubCalculation

Defined in Tax.Canada.Shared

Methods

collect :: forall p a (q :: k1 -> Type). Functor p => (a -> SubCalculation q) -> p a -> SubCalculation (Compose p q)

distribute :: forall p (q :: k1 -> Type). Functor p => p (SubCalculation q) -> SubCalculation (Compose p q)

cotraverse :: Functor m => (forall (a :: k1). m (p a) -> q a) -> m (SubCalculation p) -> SubCalculation q

DistributiveTraversable SubCalculation

Defined in Tax.Canada.Shared

Methods

collectTraversable :: forall f1 a (f2 :: k -> Type). Traversable f1 => (a -> SubCalculation f2) -> f1 a -> SubCalculation (Compose f1 f2)

distributeTraversable :: forall f1 (f2 :: k -> Type). Traversable f1 => f1 (SubCalculation f2) -> SubCalculation (Compose f1 f2)

cotraverseTraversable :: Traversable f1 => (forall (x :: k). f1 (f2 x) -> f x) -> f1 (SubCalculation f2) -> SubCalculation f

Foldable SubCalculation

Defined in Tax.Canada.Shared

Methods

foldMap :: Monoid m => (forall (a :: k). p a -> m) -> SubCalculation p -> m

Functor SubCalculation

Defined in Tax.Canada.Shared

Methods

(<$>) :: (forall (a :: k). p a -> q a) -> SubCalculation p -> SubCalculation q

Logistic SubCalculation

Defined in Tax.Canada.Shared

Methods

deliver :: forall p (q :: k1 -> Type). Contravariant p => p (SubCalculation q -> SubCalculation q) -> SubCalculation (Compose p (q ~> q))

Traversable SubCalculation

Defined in Tax.Canada.Shared

Methods

traverse :: Applicative m => (forall (a :: k). p a -> m (q a)) -> SubCalculation p -> m (SubCalculation q)

sequence :: forall m (p :: k -> Type). Applicative m => SubCalculation (Compose m p) -> m (SubCalculation p)

(Show (line Centi), Show (line Rational)) => Show (SubCalculation line)

Defined in Tax.Canada.Shared

Methods

showsPrec :: Int -> SubCalculation line -> ShowS

show :: SubCalculation line -> String

showList :: [SubCalculation line] -> ShowS

(Eq (line Centi), Eq (line Rational)) => Eq (SubCalculation line)

Defined in Tax.Canada.Shared

Methods

(==) :: SubCalculation line -> SubCalculation line -> Bool

(/=) :: SubCalculation line -> SubCalculation line -> Bool

fixTaxIncomeBracket :: Maybe Centi -> Maybe (TaxIncomeBracket Maybe) -> TaxIncomeBracket Maybe -> TaxIncomeBracket Maybe

fixBaseCredit :: BaseCredit Maybe -> BaseCredit Maybe

fixMedicalExpenses :: Centi -> MedicalExpenses Maybe -> MedicalExpenses Maybe

fixSubCalculation :: Maybe Centi -> SubCalculation Maybe

subCalculationFields :: Text -> [Text] -> [Text] -> SubCalculation FieldConst