Tax.Canada.T1

The T1 forms look similar, but there are subtle differences between different provinces and territories. Therefore they share the same T1 form type and the same fixT1 completion function, but field paths are separately provided by t1FieldsForProvince.

Documentation

fixT1 :: HasCallStack => T1 Maybe -> T1 Maybe

formPrefixForProvince :: Code -> String

The distinct provincial prefix of the T1 form PDF file, such as 5006 in 5006-r-fill-23e.pdf for Ontario

t1FieldsForProvince :: Code -> T1 FieldConst

T1 field paths for the given province

data T1 line

Constructors

T1

Fields

• page1 :: Page1 line
• page2 :: Page2 line
• page3 :: Page3 line
• page4 :: Page4 line
• page5 :: Page5 line
• page6 :: Page6 line
• page7 :: Page7 line
• page8 :: Page8 line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Page1, Foldable t Page2, Foldable t Page3, Foldable t Page4, Foldable t Page5, Foldable t Page6, Foldable t Page7, Foldable t Page8) => Foldable t T1

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Functor t Page1, Functor t Page2, Functor t Page3, Functor t Page4, Functor t Page5, Functor t Page6, Functor t Page7, Functor t Page8) => Functor t T1

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Page1, Traversable t Page2, Traversable t Page3, Traversable t Page4, Traversable t Page5, Traversable t Page6, Traversable t Page7, Traversable t Page8) => Traversable t T1

Defined in Tax.Canada.T1.Types

Methods

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

Applicative T1

Defined in Tax.Canada.T1.Types

Methods

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

Apply T1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive T1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable T1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable T1

Defined in Tax.Canada.T1.Types

Methods

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

Functor T1

Defined in Tax.Canada.T1.Types

Methods

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

Logistic T1

Defined in Tax.Canada.T1.Types

Methods

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

Traversable T1

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (T1 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> T1 line -> ShowS

show :: T1 line -> String

showList :: [T1 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (T1 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page1 line

Constructors

Page1

Fields

• identification :: Identification line
• residence :: Residence line
• spouse :: Spouse line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Identification, Foldable t Residence, Foldable t Spouse) => Foldable t Page1

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Functor t Identification, Functor t Residence, Functor t Spouse) => Functor t Page1

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Identification, Traversable t Residence, Traversable t Spouse) => Traversable t Page1

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page1

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page1

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page1

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page1

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page1

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page1 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page1 line -> ShowS

show :: Page1 line -> String

showList :: [Page1 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page1 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Identification line

Constructors

Identification

Fields

• emailAddress :: line Text
• dateDeath :: line Day
• postalCode :: line Text
• your_Language :: line LanguageOfCorrespondence
• id_City :: line Text
• sin :: line Text
• id_LastName :: line Text
• dateBirth :: line Day
• id_FirstNameInitial :: line Text
• id_MailingAddress :: line Text
• maritalStatus :: line MaritalStatus
• id_RuralRoute :: line Text
• id_POBox :: line Text
• prov_DropDown :: line Code

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Text, At t Day, At t Text, At t LanguageOfCorrespondence, At t Text, At t Text, At t Text, At t Day, At t Text, At t Text, At t MaritalStatus, At t Text, At t Text, At t Code) => Foldable t Identification

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Text, At t Day, At t Text, At t LanguageOfCorrespondence, At t Text, At t Text, At t Text, At t Day, At t Text, At t Text, At t MaritalStatus, At t Text, At t Text, At t Code) => Functor t Identification

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Text, At t Day, At t Text, At t LanguageOfCorrespondence, At t Text, At t Text, At t Text, At t Day, At t Text, At t Text, At t MaritalStatus, At t Text, At t Text, At t Code) => Traversable t Identification

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Identification

Defined in Tax.Canada.T1.Types

Methods

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

Apply Identification

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Identification

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Identification

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Identification

Defined in Tax.Canada.T1.Types

Methods

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

Functor Identification

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Identification

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Identification

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Identification line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Identification line -> ShowS

show :: Identification line -> String

showList :: [Identification line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Identification line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data LanguageOfCorrespondence

Constructors

English

French

Instances

Bounded LanguageOfCorrespondence

Defined in Tax.Canada.T1.Types

Methods

minBound :: LanguageOfCorrespondence

maxBound :: LanguageOfCorrespondence

Enum LanguageOfCorrespondence

Defined in Tax.Canada.T1.Types

Methods

succ :: LanguageOfCorrespondence -> LanguageOfCorrespondence

pred :: LanguageOfCorrespondence -> LanguageOfCorrespondence

toEnum :: Int -> LanguageOfCorrespondence

fromEnum :: LanguageOfCorrespondence -> Int

enumFrom :: LanguageOfCorrespondence -> [LanguageOfCorrespondence]

enumFromThen :: LanguageOfCorrespondence -> LanguageOfCorrespondence -> [LanguageOfCorrespondence]

enumFromTo :: LanguageOfCorrespondence -> LanguageOfCorrespondence -> [LanguageOfCorrespondence]

enumFromThenTo :: LanguageOfCorrespondence -> LanguageOfCorrespondence -> LanguageOfCorrespondence -> [LanguageOfCorrespondence]

Show LanguageOfCorrespondence

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> LanguageOfCorrespondence -> ShowS

show :: LanguageOfCorrespondence -> String

showList :: [LanguageOfCorrespondence] -> ShowS

Eq LanguageOfCorrespondence

Defined in Tax.Canada.T1.Types

Methods

(==) :: LanguageOfCorrespondence -> LanguageOfCorrespondence -> Bool

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

data MaritalStatus

Constructors

Married

LivingCommonLaw

Widowed

Divorced

Separated

Single

Instances

Bounded MaritalStatus

Defined in Tax.Canada.T1.Types

Methods

minBound :: MaritalStatus

maxBound :: MaritalStatus

Enum MaritalStatus

Defined in Tax.Canada.T1.Types

Methods

succ :: MaritalStatus -> MaritalStatus

pred :: MaritalStatus -> MaritalStatus

toEnum :: Int -> MaritalStatus

fromEnum :: MaritalStatus -> Int

enumFrom :: MaritalStatus -> [MaritalStatus]

enumFromThen :: MaritalStatus -> MaritalStatus -> [MaritalStatus]

enumFromTo :: MaritalStatus -> MaritalStatus -> [MaritalStatus]

enumFromThenTo :: MaritalStatus -> MaritalStatus -> MaritalStatus -> [MaritalStatus]

Show MaritalStatus

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> MaritalStatus -> ShowS

show :: MaritalStatus -> String

showList :: [MaritalStatus] -> ShowS

Eq MaritalStatus

Defined in Tax.Canada.T1.Types

Methods

(==) :: MaritalStatus -> MaritalStatus -> Bool

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

data Residence line

Constructors

Residence

Fields

• prov_DropDown :: line Text
• prov_DropDown_Business :: line Code
• prov_DropDown_Residence :: line Code
• date_Departure :: line Day
• date_Entry :: line Day

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Text, At t Code, At t Code, At t Day, At t Day) => Foldable t Residence

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Text, At t Code, At t Code, At t Day, At t Day) => Functor t Residence

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Text, At t Code, At t Code, At t Day, At t Day) => Traversable t Residence

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Residence

Defined in Tax.Canada.T1.Types

Methods

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

Apply Residence

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Residence

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Residence

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Residence

Defined in Tax.Canada.T1.Types

Methods

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

Functor Residence

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Residence

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Residence

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Residence line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Residence line -> ShowS

show :: Residence line -> String

showList :: [Residence line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Residence line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Spouse line

Constructors

Spouse

Fields

• line23600 :: line Centi
• self_employment :: line Bool
• spouse_First_Name :: line Text
• line11700 :: line Centi
• line21300 :: line Centi
• sin :: line Text

Instances

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

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Centi, At t Bool, At t Text, At t Centi, At t Centi, At t Text) => Functor t Spouse

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Spouse

Defined in Tax.Canada.T1.Types

Methods

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

Apply Spouse

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Spouse

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Spouse

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Spouse

Defined in Tax.Canada.T1.Types

Methods

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

Functor Spouse

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Spouse

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Spouse

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Spouse line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Spouse line -> ShowS

show :: Spouse line -> String

showList :: [Spouse line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Spouse line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page2 line

Constructors

Page2

Fields

• foreign_property :: line Bool
• tax_exempt :: line Bool
• electionsCanada :: ElectionsCanada line
• cai :: line Bool
• organ_donor :: line Bool

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Bool, At t Bool, Foldable t ElectionsCanada, At t Bool, At t Bool) => Foldable t Page2

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Bool, At t Bool, Functor t ElectionsCanada, At t Bool, At t Bool) => Functor t Page2

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Bool, At t Bool, Traversable t ElectionsCanada, At t Bool, At t Bool) => Traversable t Page2

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page2

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page2

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page2

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page2

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page2

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page2

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page2

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page2

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page2 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page2 line -> ShowS

show :: Page2 line -> String

showList :: [Page2 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page2 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data ElectionsCanada line

Constructors

ElectionsCanada

Fields

• citizenship :: line Bool
• authorization :: line Bool

Instances

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

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Bool, At t Bool) => Functor t ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Bool, At t Bool) => Traversable t ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

Applicative ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

Apply ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

Functor ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

Logistic ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

Traversable ElectionsCanada

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (ElectionsCanada line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> ElectionsCanada line -> ShowS

show :: ElectionsCanada line -> String

showList :: [ElectionsCanada line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (ElectionsCanada line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page3 line

Constructors

Page3

Fields

• line_10100_EmploymentIncome :: line Centi
• line_10105_Taxexemptamount :: line Centi
• line_10120_Commissions :: line Centi
• line_10130_sf :: line Centi
• line_10400_OtherEmploymentIncome :: line Centi
• line_11300_OldAgeSecurityPension :: line Centi
• line_11400_CPP_QPP :: line Centi
• line_11410_DisabilityBenefits :: line Centi
• line_11500_OtherPensions :: line Centi
• line_11600_ElectedSplitPension :: line Centi
• line_11700_UCCB :: line Centi
• line_11701_UCCBDesignated :: line Centi
• line_11900_EmploymentInsurance :: line Centi
• line_11905_Employmentmaternity :: line Centi
• line_12000_TaxableDividends :: line Centi
• line_12010_OtherTaxableDividends :: line Centi
• line_12100_InvestmentIncome :: line Centi
• line_12200_PartnershipIncome :: line Centi
• line_12500_RDSP :: line Centi
• line_12599_12600_RentalIncome :: line Centi
• line_12600_Amount :: line Centi
• line_12700_TaxableCapitalGains :: line Centi
• line_12799_Amount :: line Centi
• line_12800_Amount :: line Centi
• line_12900_RRSPIncome :: line Centi
• line_12905_FHSAIncome :: line Centi
• line_12906_OtherFHSAIncome :: line Centi
• line_13000_OtherIncome :: line Centi
• line_13000_OtherIncomeSource :: line Text
• line_13010_TaxableScholarship :: line Centi
• line_19 :: line Centi
• selfEmployment :: SelfEmploymentIncome line
• line_25_sum :: SubCalculation line
• line_26 :: line Centi
• line_14400_WorkersCompBen :: line Centi
• line_14500_SocialAssistPay :: line Centi
• line_14600_NetFedSupplements :: line Centi
• line_14700_EqualsAmount :: line Centi
• line_14700_PlusAmount :: line Centi
• line_15000_TotalIncome :: 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, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Text, At t Centi, At t Centi, Foldable t SelfEmploymentIncome, Foldable t SubCalculation, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi) => Foldable t Page3

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Text, At t Centi, At t Centi, Functor t SelfEmploymentIncome, Functor t SubCalculation, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi) => Functor t Page3

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page3

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page3

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page3

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page3

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page3

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page3

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page3

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page3

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page3 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page3 line -> ShowS

show :: Page3 line -> String

showList :: [Page3 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page3 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data SelfEmploymentIncome line

Constructors

SelfEmploymentIncome

Fields

• line_13499_Amount :: line Centi
• line_13500_Amount :: line Centi
• line_13699_Amount :: line Centi
• line_13700_Amount :: line Centi
• line_13899_Amount :: line Centi
• line_13900_Amount :: line Centi
• line_14099_Amount :: line Centi
• line_14100_Amount :: line Centi
• line_14299_Amount :: line Centi
• line_14300_Amount :: 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, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi) => Foldable t SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

Apply SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

Functor SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

Logistic SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

Traversable SelfEmploymentIncome

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (SelfEmploymentIncome line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> SelfEmploymentIncome line -> ShowS

show :: SelfEmploymentIncome line -> String

showList :: [SelfEmploymentIncome line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (SelfEmploymentIncome line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page4 line

Constructors

Page4

Fields

• line_15000_TotalIncome_2 :: line Centi
• line_20600_PensionAdjustment :: line Centi
• line_20700_RPPDeduction :: line Centi
• line_20800_RRSPDeduction :: line Centi
• line_20805_FHSADeduction :: line Centi
• line_20810_PRPP :: line Centi
• line_21000_SplitPensionDeduction :: line Centi
• line_21200_Dues :: line Centi
• line_21300_UCCBRepayment :: line Centi
• line_21400_ChildCareExpenses :: line Centi
• line_21500_DisabilityDeduction :: line Centi
• line_21699_Amount :: line Centi
• line_21700_Amount :: line Centi
• line_21900_MovingExpenses :: line Centi
• line_21999_Amount :: line Centi
• line_22000_Amount :: line Centi
• line_22100_CarryingChargesInterest :: line Centi
• line_22200_CPP_QPP_Contributions :: line Centi
• line_22215_DeductionCPP_QPP :: line Centi
• line_22300_DeductionPPIP :: line Centi
• line_22400_XplorationDevExpenses :: line Centi
• line_22900_OtherEmployExpenses :: line Centi
• line_23100_ClergyResDeduction :: line Centi
• line_23200_OtherDeductions :: line Centi
• line_23200_Specify :: line Text
• line_23300_sum :: SubCalculation line
• line_23400_NetBeforeAdjust :: line Centi
• line_23500_SocialBenefits :: line Centi
• line_23600_NetIncome :: 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, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Text, Foldable t SubCalculation, At t Centi, At t Centi, At t Centi) => Foldable t Page4

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page4

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page4

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page4

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page4

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page4

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page4

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page4

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page4

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page4 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page4 line -> ShowS

show :: Page4 line -> String

showList :: [Page4 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page4 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page5 line

Constructors

Page5

Fields

• step4_TaxableIncome :: Step4 line
• partA_FederalTax :: Page5PartA line
• partB_FederalTaxCredits :: Page5PartB line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Step4, Foldable t Page5PartA, Foldable t Page5PartB) => Foldable t Page5

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Functor t Step4, Functor t Page5PartA, Functor t Page5PartB) => Functor t Page5

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Step4, Traversable t Page5PartA, Traversable t Page5PartB) => Traversable t Page5

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page5

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page5

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page5

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page5

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page5

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page5

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page5

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page5

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page5 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page5 line -> ShowS

show :: Page5 line -> String

showList :: [Page5 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page5 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Step4 line

Constructors

Step4

Fields

• line_23600_NetIncome_2 :: line Centi
• line_24400_MilitaryPoliceDeduction :: line Centi
• line_24900_SecurityDeductions :: line Centi
• line_25000_OtherPayDeductions :: line Centi
• line_25100_PartnershipLosses :: line Centi
• line_25200_NoncapitalLosses :: line Centi
• line_25300_NetCapitalLosses :: line Centi
• line_25400_CapitalGainsDeduction :: line Centi
• line_25500_NorthernDeductions :: line Centi
• line_25600_AdditionalDeductions_Amount :: line Centi
• line_25600_AdditionalDeductions_Specify :: line Text
• line_25700_AddLines_sum :: SubCalculation line
• line_26000_TaxableIncome :: 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, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Text, Foldable t SubCalculation, At t Centi) => Foldable t Step4

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Step4

Defined in Tax.Canada.T1.Types

Methods

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

Apply Step4

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Step4

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Step4

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Step4

Defined in Tax.Canada.T1.Types

Methods

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

Functor Step4

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Step4

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Step4

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Step4 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Step4 line -> ShowS

show :: Step4 line -> String

showList :: [Step4 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Step4 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page5PartA line

Constructors

Page5PartA

Fields

• column1 :: TaxIncomeBracket line
• column2 :: TaxIncomeBracket line
• column3 :: TaxIncomeBracket line
• column4 :: TaxIncomeBracket line
• column5 :: TaxIncomeBracket line

Instances

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

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Functor t TaxIncomeBracket, Functor t TaxIncomeBracket, Functor t TaxIncomeBracket, Functor t TaxIncomeBracket, Functor t TaxIncomeBracket) => Functor t Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t TaxIncomeBracket, Traversable t TaxIncomeBracket, Traversable t TaxIncomeBracket, Traversable t TaxIncomeBracket, Traversable t TaxIncomeBracket) => Traversable t Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page5PartA

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page5PartA line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page5PartA line -> ShowS

show :: Page5PartA line -> String

showList :: [Page5PartA line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page5PartA line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page5PartB line

Constructors

Page5PartB

Fields

• line30000 :: line Centi
• line30100 :: line Centi
• line30300 :: line Centi
• line30400 :: line Centi
• line30425 :: line Centi
• line30450 :: line Centi
• line30499_ChildrenNum :: line Word
• line30500 :: line Centi
• line_81 :: 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, At t Centi, At t Centi, At t Word, At t Centi, At t Centi) => Foldable t Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Word, At t Centi, At t Centi) => Functor t Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page5PartB

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page5PartB line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page5PartB line -> ShowS

show :: Page5PartB line -> String

showList :: [Page5PartB line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page5PartB line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page6 line

Constructors

Page6

Fields

• line82 :: line Centi
• line30800 :: line Centi
• line31000 :: line Centi
• line31200 :: line Centi
• line31205 :: line Centi
• line31210 :: line Centi
• line31215 :: line Centi
• line31217 :: line Centi
• line31220 :: line Centi
• line31240 :: line Centi
• line31260 :: line Centi
• line31270 :: line Centi
• line31285 :: line Centi
• line31300 :: line Centi
• line31350 :: line Centi
• line94_sum :: SubCalculation line
• line31400 :: line Centi
• line96 :: line Centi
• line31600 :: line Centi
• line31800 :: line Centi
• line99 :: line Centi
• line31900 :: line Centi
• line32300 :: line Centi
• line32400 :: line Centi
• line32600 :: line Centi
• line104 :: line Centi
• medical_expenses :: MedicalExpenses line
• line33200_sum :: SubCalculation line
• line33500 :: line Centi
• line112 :: line Rational
• line33800 :: line Centi
• line34900 :: line Centi
• line35000 :: 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, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, Foldable t SubCalculation, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, Foldable t MedicalExpenses, Foldable t SubCalculation, At t Centi, At t Rational, At t Centi, At t Centi, At t Centi) => Foldable t Page6

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page6

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page6

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page6

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page6

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page6

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page6 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page6 line -> ShowS

show :: Page6 line -> String

showList :: [Page6 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page6 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data MedicalExpenses line

Constructors

MedicalExpenses

Fields

• familyExpenses :: line Centi
• taxableIncome :: line Centi
• taxableIncomeFraction :: line Centi
• threshold :: line Centi
• difference :: line Centi
• otherDependants :: 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, At t Centi, At t Centi) => Foldable t MedicalExpenses

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

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 Centi, At t Centi, At t Centi, At t Centi) => Traversable t MedicalExpenses

Defined in Tax.Canada.T1.Types

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.T1.Types

Methods

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

Apply MedicalExpenses

Defined in Tax.Canada.T1.Types

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.T1.Types

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.T1.Types

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.T1.Types

Methods

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

Functor MedicalExpenses

Defined in Tax.Canada.T1.Types

Methods

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

Logistic MedicalExpenses

Defined in Tax.Canada.T1.Types

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.T1.Types

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 Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (MedicalExpenses line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> MedicalExpenses line -> ShowS

show :: MedicalExpenses line -> String

showList :: [MedicalExpenses line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (MedicalExpenses line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page7 line

Constructors

Page7

Fields

• partC_NetFederalTax :: Page7PartC line
• step6_RefundOrBalanceOwing :: Page7Step6 line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Page7PartC, Foldable t Page7Step6) => Foldable t Page7

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Functor t Page7PartC, Functor t Page7Step6) => Functor t Page7

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Page7PartC, Traversable t Page7Step6) => Traversable t Page7

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page7

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page7

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page7

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page7

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page7

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page7

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page7

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page7

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page7 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page7 line -> ShowS

show :: Page7 line -> String

showList :: [Page7 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page7 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page7PartC line

Constructors

Page7PartC

Fields

• line116 :: line Centi
• line40424 :: line Centi
• line40400 :: line Centi
• line119 :: line Centi
• line40425 :: line Centi
• line40427 :: line Centi
• line122_sum :: SubCalculation line
• line42900 :: line Centi
• line124 :: line Centi
• line125 :: line Centi
• line40500 :: line Centi
• line127 :: line Centi
• line128 :: line Centi
• line129 :: line Centi
• line130 :: line Centi
• line40600 :: line Centi
• line40900 :: line Centi
• line41000 :: line Centi
• line41200 :: line Centi
• line41300 :: line Centi
• line41400 :: line Centi
• line41600_sum :: SubCalculation line
• line41700 :: line Centi
• line41500 :: line Centi
• line41800 :: line Centi
• line42000 :: 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, At t Centi, At t Centi, Foldable t SubCalculation, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, At t Centi, Foldable t SubCalculation, At t Centi, At t Centi, At t Centi, At t Centi) => Foldable t Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page7PartC

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page7PartC line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page7PartC line -> ShowS

show :: Page7PartC line -> String

showList :: [Page7PartC line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page7PartC line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page7Step6 line

Constructors

Page7Step6

Fields

• line140 :: line Centi
• line_42100_CPPContributions :: line Centi
• line_42120_EIPremiums :: line Centi
• line_42200_SocialBenefits :: line Centi
• line_42800_ProvTerrTax :: line Centi
• line_43200_FirstNationsTax :: line Centi
• line_43500_TotalPayable :: 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, At t Centi, At t Centi, At t Centi) => Foldable t Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page7Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page7Step6 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page7Step6 line -> ShowS

show :: Page7Step6 line -> String

showList :: [Page7Step6 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page7Step6 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page8 line

Constructors

Page8

Fields

• step6_RefundOrBalanceOwing :: Page8Step6 line
• line48400_Refund :: line Centi
• line48500_BalanceOwing :: line Centi
• telephone :: line Centi
• date :: line Centi
• taxPreparer :: TaxPreparer line
• line_1_ONOpportunitiesFund :: line Centi
• line_46500 :: line Centi
• line_46600 :: line Centi

Instances

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

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Functor t Page8Step6, At t Centi, At t Centi, At t Centi, At t Centi, Functor t TaxPreparer, At t Centi, At t Centi, At t Centi) => Functor t Page8

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page8

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page8

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page8

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page8

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page8

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page8

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page8

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page8

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page8 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page8 line -> ShowS

show :: Page8 line -> String

showList :: [Page8 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page8 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data Page8Step6 line

Constructors

Page8Step6

Fields

• line_43500_totalpayable :: line Centi
• line_43700_Total_income_tax_ded :: line Centi
• line_43800_TaxTransferQC :: line Centi
• line_43850_diff :: SubCalculation line
• line_42900_copy :: line Centi
• line_44000 :: line Centi
• line_44100 :: line Centi
• line_44800_CPPOverpayment :: line Centi
• line_45000_EIOverpayment :: line Centi
• line_31210_copy :: line Centi
• line_45100_diff :: SubCalculation line
• line_45200_MedicalExpense :: line Centi
• line_45300_CWB :: line Centi
• line_45350_CTC :: line Centi
• line_45355_MHRTC :: line Centi
• line_45400_InvestmentTaxCredit :: line Centi
• line_45600_TrustTaxCredit :: line Centi
• line_45700_GST_HST_Rebate :: line Centi
• line_46800 :: line Centi
• line_46900 :: line Centi
• line_47555_TaxPaid :: line Centi
• line_47556 :: line Centi
• line_47557 :: line Centi
• line_47600_TaxPaid :: line Centi
• line_47900_ProvTerrCredits :: line Centi
• line_48200_sum :: SubCalculation line
• line164_Refund_or_BalanceOwing :: line Centi

Instances

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

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

Defined in Tax.Canada.T1.Types

Methods

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

Applicative Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

Apply Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

Functor Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

Logistic Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

Traversable Page8Step6

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (Page8Step6 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> Page8Step6 line -> ShowS

show :: Page8Step6 line -> String

showList :: [Page8Step6 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (Page8Step6 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data TaxPreparer line

Constructors

TaxPreparer

Fields

• eFileNumber :: line Text
• nameOfPreparer :: line Text
• telephoneOfPreparer :: line Text
• line49000_WasAFeeCharged :: line Bool

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, At t Text, At t Text, At t Text, At t Bool) => Foldable t TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, At t Text, At t Text, At t Text, At t Bool) => Functor t TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, At t Text, At t Text, At t Text, At t Bool) => Traversable t TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

Applicative TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

Apply TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

Functor TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

Logistic TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

Traversable TaxPreparer

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Rational), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (TaxPreparer line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> TaxPreparer line -> ShowS

show :: TaxPreparer line -> String

showList :: [TaxPreparer line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Rational), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (TaxPreparer line)

Defined in Tax.Canada.T1.Types

Methods

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

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