Tax.Canada.Federal.Schedule6

Documentation

data Schedule6 line

Constructors

Schedule6

Fields

• page2 :: Page2 line
• page3 :: Page3 line
• page4 :: Page4 line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Page2, Foldable t Page3, Foldable t Page4) => Foldable t Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

(Transformation t, Functor t Page2, Functor t Page3, Functor t Page4) => Functor t Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Page2, Traversable t Page3, Traversable t Page4) => Traversable t Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Applicative Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Apply Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Distributive Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

DistributiveTraversable Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Foldable Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Functor Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Traversable Schedule6

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Rational)) => Show (Schedule6 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Schedule6 line -> ShowS

show :: Schedule6 line -> String

showList :: [Schedule6 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Schedule6 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data Page2 line

Constructors

Page2

Fields

• questions :: Questions line
• partA_self :: PartAColumn line
• partA_spouse :: PartAColumn line
• line6_sum :: line Centi

Instances

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

(Transformation t, Functor t Questions, Functor t PartAColumn, Functor t PartAColumn, At t Centi) => Functor t Page2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

Methods

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

Apply Page2

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

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.Federal.Schedule6

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.Federal.Schedule6

Methods

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

Functor Page2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Page2

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

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 Rational)) => Show (Page2 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Page2 line -> ShowS

show :: Page2 line -> String

showList :: [Page2 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Page2 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data Questions line

Constructors

Questions

Fields

• line_38100 :: line Bool
• line_38101 :: line Bool
• line_38102 :: line Bool
• line_38103 :: line Bool
• line_38104 :: line Bool
• line_38105 :: line Bool

Instances

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Applicative Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Apply Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Distributive Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

DistributiveTraversable Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Foldable Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Functor Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Traversable Questions

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Rational)) => Show (Questions line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Questions line -> ShowS

show :: Questions line -> String

showList :: [Questions line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Questions line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data PartAColumn line

Constructors

PartAColumn

Fields

• line1_employmentIncome_copy :: line Centi
• line_38106_grants_copy :: line Centi
• line3_selfEmploymentIncome_sum :: line Centi
• line_38107_exemptIncome :: line Centi
• line_38108_sum :: 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) => Foldable t PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

(<$>) :: t -> PartAColumn (Domain t) -> PartAColumn (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) => Traversable t PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Applicative PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Apply PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Distributive PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

DistributiveTraversable PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Foldable PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Functor PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Traversable PartAColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Rational)) => Show (PartAColumn line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> PartAColumn line -> ShowS

show :: PartAColumn line -> String

showList :: [PartAColumn line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (PartAColumn line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data Page3 line

Constructors

Page3

Fields

• partB_self :: PartBColumn line
• partB_spouse :: PartBColumn line
• line13_sum :: line Centi
• line14_least :: line Centi
• line15_difference :: line Centi

Instances

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

(Transformation t, Functor t PartBColumn, Functor t PartBColumn, At t Centi, At t Centi, At t Centi) => Functor t Page3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

Methods

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

Apply Page3

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

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.Federal.Schedule6

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.Federal.Schedule6

Methods

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

Functor Page3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Page3

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

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 Rational)) => Show (Page3 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Page3 line -> ShowS

show :: Page3 line -> String

showList :: [Page3 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Page3 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data PartBColumn line

Constructors

PartBColumn

Fields

• line7_netIncome_copy :: line Centi
• line_38109_exempt :: line Centi
• line9_uccbRdspRepayments :: line Centi
• line10_sum :: line Centi
• line11_uccbRdspIncome :: line Centi
• line_38110_difference :: 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 PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> PartBColumn (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 PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

(<$>) :: t -> PartBColumn (Domain t) -> PartBColumn (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 PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Applicative PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Apply PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Distributive PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

DistributiveTraversable PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Foldable PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Functor PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Traversable PartBColumn

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Rational)) => Show (PartBColumn line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> PartBColumn line -> ShowS

show :: PartBColumn line -> String

showList :: [PartBColumn line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (PartBColumn line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data Page4 line

Constructors

Page4

Fields

• step2 :: Step2 line
• step3 :: Step3 line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Step2, Foldable t Step3) => Foldable t Page4

Defined in Tax.Canada.Federal.Schedule6

Methods

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

(Transformation t, Functor t Step2, Functor t Step3) => Functor t Page4

Defined in Tax.Canada.Federal.Schedule6

Methods

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

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Step2, Traversable t Step3) => Traversable t Page4

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

Methods

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

Apply Page4

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

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.Federal.Schedule6

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.Federal.Schedule6

Methods

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

Functor Page4

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Page4

Defined in Tax.Canada.Federal.Schedule6

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.Federal.Schedule6

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 Rational)) => Show (Page4 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Page4 line -> ShowS

show :: Page4 line -> String

showList :: [Page4 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Page4 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data Step2 line

Constructors

Step2

Fields

• line16_copy :: line Centi
• line17_threshold :: line Centi
• line18_difference :: line Centi
• line19_rate :: line Rational
• line20_fraction :: line Centi
• line21_ceiling :: line Centi
• line22_least :: line Centi
• line23_copy :: line Centi
• line24_threshold :: line Centi
• line25_difference :: line Centi
• line26_rate :: line Rational
• line27_fraction :: SubCalculation line
• line28_difference :: line Centi

Instances

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Applicative Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Apply Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Distributive Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

DistributiveTraversable Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Foldable Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Functor Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Traversable Step2

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Rational)) => Show (Step2 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Step2 line -> ShowS

show :: Step2 line -> String

showList :: [Step2 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Step2 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

data Step3 line

Constructors

Step3

Fields

• line29_copy :: line Centi
• line30_threshold :: line Centi
• line31_difference :: line Centi
• line32_rate :: line Rational
• line33_fraction :: line Centi
• line34_capped :: line Centi
• line35_copy :: line Centi
• line36_threshold :: line Centi
• line37_difference :: line Centi
• line38_rate :: line Rational
• line39_fraction :: SubCalculation line
• line40_difference :: line Centi
• line41_copy :: line Centi
• line42_sum :: line Centi

Instances

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Applicative Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Apply Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Distributive Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

DistributiveTraversable Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

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

Foldable Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Functor Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Logistic Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

Traversable Step3

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Rational)) => Show (Step3 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

showsPrec :: Int -> Step3 line -> ShowS

show :: Step3 line -> String

showList :: [Step3 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Rational)) => Eq (Step3 line)

Defined in Tax.Canada.Federal.Schedule6

Methods

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

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

fixSchedule6 :: Maybe (T1 Maybe) -> T1 Maybe -> Schedule6 Maybe -> Schedule6 Maybe

fixPartAColumn :: T1 Maybe -> PartAColumn Maybe -> PartAColumn Maybe

fixPartBColumn :: T1 Maybe -> PartBColumn Maybe -> PartBColumn Maybe

schedule6Fields :: Schedule6 FieldConst