Safe Haskell	None
Language	Haskell2010

Tax.Canada.Federal

Description

The federal income tax forms

Synopsis

data InputForms (line :: Type -> Type)
data Forms (line :: Type -> Type) = Forms {
- t1 :: T1 line
- schedule6 :: Schedule6 line
- schedule7 :: Schedule7 line
- schedule8 :: Schedule8 line
- schedule9 :: Schedule9 line
- schedule11 :: Schedule11 line
}
loadInputForms :: [(FormKey, FDF)] -> Either String (InputForms Maybe)
fixFederalForms :: Code -> InputForms Maybe -> Forms Maybe -> Forms Maybe
formFieldsForProvince :: Code -> Forms FieldConst
formFileNames :: Map FormKey Text
relevantFormKeys :: T1 Maybe -> Set FormKey

Documentation

data InputForms (line :: Type -> Type) Source #

All supported federal input forms, not to be filled in

Instances

Instances details

Monoid (InputForms Maybe) Source #
Instance details Defined in Tax.Canada.Federal Methods mempty :: InputForms Maybe # mappend :: InputForms Maybe -> InputForms Maybe -> InputForms Maybe # mconcat :: [InputForms Maybe] -> InputForms Maybe #
Semigroup (InputForms Maybe) Source #
Instance details Defined in Tax.Canada.Federal Methods (<>) :: InputForms Maybe -> InputForms Maybe -> InputForms Maybe # sconcat :: NonEmpty (InputForms Maybe) -> InputForms Maybe # stimes :: Integral b => b -> InputForms Maybe -> InputForms Maybe #
Show (InputForms Maybe) Source #
Instance details Defined in Tax.Canada.Federal Methods showsPrec :: Int -> InputForms Maybe -> ShowS # show :: InputForms Maybe -> String # showList :: [InputForms Maybe] -> ShowS #

data Forms (line :: Type -> Type) Source #

All supported federal forms

Constructors

Forms
Fields t1 :: T1 line schedule6 :: Schedule6 line schedule7 :: Schedule7 line schedule8 :: Schedule8 line schedule9 :: Schedule9 line schedule11 :: Schedule11 line

Instances

Instances details

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t T1, Foldable t Schedule6, Foldable t Schedule7, Foldable t Schedule8, Foldable t Schedule9, Foldable t Schedule11) => Foldable t Forms Source #
Instance details Defined in Tax.Canada.Federal Methods foldMap :: (Codomain t ~ (Const m0 :: Type -> Type), Monoid m0) => t -> Forms (Domain t) -> m0
(Transformation t, Functor t T1, Functor t Schedule6, Functor t Schedule7, Functor t Schedule8, Functor t Schedule9, Functor t Schedule11) => Functor t Forms Source #
Instance details Defined in Tax.Canada.Federal Methods (<$>) :: t -> Forms (Domain t) -> Forms (Codomain t)
(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t T1, Traversable t Schedule6, Traversable t Schedule7, Traversable t Schedule8, Traversable t Schedule9, Traversable t Schedule11) => Traversable t Forms Source #
Instance details Defined in Tax.Canada.Federal Methods traverse :: forall m0 (f0 :: Type -> Type). Codomain t ~ Compose m0 f0 => t -> Forms (Domain t) -> m0 (Forms f0)
Applicative Forms Source #
Instance details Defined in Tax.Canada.Federal Methods pure :: (forall a. f a) -> Forms f
Apply Forms Source #
Instance details Defined in Tax.Canada.Federal Methods (<*>) :: forall (p :: Type -> Type) (q :: Type -> Type). Forms (p ~> q) -> Forms p -> Forms q liftA2 :: (forall a. p a -> q a -> r a) -> Forms p -> Forms q -> Forms r liftA3 :: (forall a. p a -> q a -> r a -> s a) -> Forms p -> Forms q -> Forms r -> Forms s
Distributive Forms Source #
Instance details Defined in Tax.Canada.Federal Methods collect :: forall p a (q :: Type -> Type). Functor p => (a -> Forms q) -> p a -> Forms (Compose p q) distribute :: forall p (q :: Type -> Type). Functor p => p (Forms q) -> Forms (Compose p q) cotraverse :: Functor m => (forall a. m (p a) -> q a) -> m (Forms p) -> Forms q
DistributiveTraversable Forms Source #
Instance details Defined in Tax.Canada.Federal Methods collectTraversable :: forall f1 a (f2 :: Type -> Type). Traversable f1 => (a -> Forms f2) -> f1 a -> Forms (Compose f1 f2) distributeTraversable :: forall f1 (f2 :: Type -> Type). Traversable f1 => f1 (Forms f2) -> Forms (Compose f1 f2) cotraverseTraversable :: Traversable f1 => (forall x. f1 (f2 x) -> f x) -> f1 (Forms f2) -> Forms f
Foldable Forms Source #
Instance details Defined in Tax.Canada.Federal Methods foldMap :: Monoid m => (forall a. p a -> m) -> Forms p -> m
Functor Forms Source #
Instance details Defined in Tax.Canada.Federal Methods (<$>) :: (forall a. p a -> q a) -> Forms p -> Forms q
Logistic Forms Source #
Instance details Defined in Tax.Canada.Federal Methods deliver :: forall p (q :: Type -> Type). Contravariant p => p (Forms q -> Forms q) -> Forms (Compose p (q ~> q))
Traversable Forms Source #
Instance details Defined in Tax.Canada.Federal Methods traverse :: Applicative m => (forall a. p a -> m (q a)) -> Forms p -> m (Forms q) sequence :: forall m (p :: Type -> Type). Applicative m => Forms (Compose m p) -> m (Forms p)
(Show (line Bool), Show (line Centi), Show (line Word), Show (line Int), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Forms line) Source #
Instance details Defined in Tax.Canada.Federal Methods showsPrec :: Int -> Forms line -> ShowS # show :: Forms line -> String # showList :: [Forms line] -> ShowS #
(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Int), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Forms line) Source #
Instance details Defined in Tax.Canada.Federal Methods (==) :: Forms line -> Forms line -> Bool # (/=) :: Forms line -> Forms line -> Bool #

loadInputForms :: [(FormKey, FDF)] -> Either String (InputForms Maybe) Source #

fixFederalForms :: Code -> InputForms Maybe -> Forms Maybe -> Forms Maybe Source #

Complete all the federal forms, also handling the inter-form field references.

formFieldsForProvince :: Code -> Forms FieldConst Source #

The paths of all the fields in all federal forms, with the form key added as the head of every field path.

formFileNames :: Map FormKey Text Source #

A map of standard file paths, without the common suffix and extension, of all supported federal schedule forms.

relevantFormKeys :: T1 Maybe -> Set FormKey Source #

The set of keys of all auxiliary forms that have effect in the given T1 form.