Safe Haskell	None
Language	Haskell2010

Tax.Canada.Federal.Schedule9

Documentation

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

Constructors

Schedule9
Fields page1 :: Page1 line page2 :: Page2 line

Instances

Instances details

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

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

Constructors

Page1

Fields

line1_charities :: line Centi
line_32900_government :: line Centi
line_33300_universities :: line Centi
line_33400_UN :: line Centi
line5_sum :: line Centi
line6_copy :: line Centi
line6_fraction :: line Centi
line_33700_depreciable :: line Centi
line_33900_capital :: line Centi
line7_sum :: line Centi
line7_fraction :: line Centi
line8_sum :: line Centi
line9_limit :: line Centi
line_34000_allowable :: line Centi
line_34200_ecocultural :: line Centi
line12_sum :: line Centi
line13_min :: line Centi
line14_difference :: line Centi
line_34210_ecological :: line Centi
line16_difference :: line Centi
line17_copy :: line Centi
line18_threshold :: line Centi
line19_difference :: line Centi
lineE_copy :: line Centi
line20_min :: line Centi
line20_fraction :: line Centi
line21_difference :: line Centi
line21_fraction :: line Centi
line22_copy :: line Centi
line22_fraction :: line Centi
line23_sum :: line Centi

Instances

Instances details

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

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

Constructors

Page2
Fields propertyClass :: line Text line1_depreciation :: line Centi line2_dispositionProceeds :: line Centi line3_capitalCost :: line Centi line4_least :: line Centi line5_least :: line Centi line1_capitalGains :: line Centi line2_capitalGainsDeduction :: line Centi line3_difference :: line Centi

Instances

Instances details

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

fixSchedule9 :: T1 Maybe -> Schedule9 Maybe -> Schedule9 Maybe Source #

schedule9Fields :: Schedule9 FieldConst Source #