Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Instances
Applicative ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
Apply ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
Distributive ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
DistributiveTraversable ON428 Source # | |
Defined in Tax.Canada.ON428.Types collectTraversable :: forall f1 a (f2 :: k -> Type). Traversable f1 => (a -> ON428 f2) -> f1 a -> ON428 (Compose f1 f2) # distributeTraversable :: forall f1 (f2 :: k -> Type). Traversable f1 => f1 (ON428 f2) -> ON428 (Compose f1 f2) # cotraverseTraversable :: Traversable f1 => (forall (x :: k). f1 (f2 x) -> f x) -> f1 (ON428 f2) -> ON428 f # | |
Foldable ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
Functor ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
Logistic ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
Traversable ON428 Source # | |
Defined in Tax.Canada.ON428.Types | |
(Show (line Centi), Show (line Rational), Show (line Word)) => Show (ON428 line) Source # | |
(Eq (line Centi), Eq (line Rational), Eq (line Word)) => Eq (ON428 line) Source # | |
Page1 | |
|
Instances
Applicative Page1 Source # | |
Defined in Tax.Canada.ON428.Types | |
Apply Page1 Source # | |
Defined in Tax.Canada.ON428.Types | |
Distributive Page1 Source # | |
Defined in Tax.Canada.ON428.Types | |
DistributiveTraversable Page1 Source # | |
Defined in Tax.Canada.ON428.Types 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 Source # | |
Defined in Tax.Canada.ON428.Types | |
Functor Page1 Source # | |
Defined in Tax.Canada.ON428.Types | |
Logistic Page1 Source # | |
Defined in Tax.Canada.ON428.Types | |
Traversable Page1 Source # | |
Defined in Tax.Canada.ON428.Types | |
(Show (line Centi), Show (line Rational), Show (line Word)) => Show (Page1 line) Source # | |
(Eq (line Centi), Eq (line Rational), Eq (line Word)) => Eq (Page1 line) Source # | |
data Page1PartA line Source #
Page1PartA | |
|
Instances
data TaxIncomeBracket line Source #
TaxIncomeBracket | |
|
Instances
data Page1PartB line Source #
Page1PartB | |
|
Instances
Page2 | |
|
Instances
Applicative Page2 Source # | |
Defined in Tax.Canada.ON428.Types | |
Apply Page2 Source # | |
Defined in Tax.Canada.ON428.Types | |
Distributive Page2 Source # | |
Defined in Tax.Canada.ON428.Types | |
DistributiveTraversable Page2 Source # | |
Defined in Tax.Canada.ON428.Types 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 Source # | |
Defined in Tax.Canada.ON428.Types | |
Functor Page2 Source # | |
Defined in Tax.Canada.ON428.Types | |
Logistic Page2 Source # | |
Defined in Tax.Canada.ON428.Types | |
Traversable Page2 Source # | |
Defined in Tax.Canada.ON428.Types | |
(Show (line Centi), Show (line Rational), Show (line Word)) => Show (Page2 line) Source # | |
(Eq (line Centi), Eq (line Rational), Eq (line Word)) => Eq (Page2 line) Source # | |
data Page2PartB line Source #
Page2PartB | |
|
Instances
data MedicalExpenses line Source #
MedicalExpenses | |
|
Instances
Donations | |
|
Instances
data Page2PartC line Source #
Page2PartC | |
|
Instances
Page3 | |
|
Instances
Applicative Page3 Source # | |
Defined in Tax.Canada.ON428.Types | |
Apply Page3 Source # | |
Defined in Tax.Canada.ON428.Types | |
Distributive Page3 Source # | |
Defined in Tax.Canada.ON428.Types | |
DistributiveTraversable Page3 Source # | |
Defined in Tax.Canada.ON428.Types 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 Source # | |
Defined in Tax.Canada.ON428.Types | |
Functor Page3 Source # | |
Defined in Tax.Canada.ON428.Types | |
Logistic Page3 Source # | |
Defined in Tax.Canada.ON428.Types | |
Traversable Page3 Source # | |
Defined in Tax.Canada.ON428.Types | |
(Show (line Centi), Show (line Rational), Show (line Word)) => Show (Page3 line) Source # | |
(Eq (line Centi), Eq (line Rational), Eq (line Word)) => Eq (Page3 line) Source # | |
Page4 | |
|
Instances
Applicative Page4 Source # | |
Defined in Tax.Canada.ON428.Types | |
Apply Page4 Source # | |
Defined in Tax.Canada.ON428.Types | |
Distributive Page4 Source # | |
Defined in Tax.Canada.ON428.Types | |
DistributiveTraversable Page4 Source # | |
Defined in Tax.Canada.ON428.Types 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 Source # | |
Defined in Tax.Canada.ON428.Types | |
Functor Page4 Source # | |
Defined in Tax.Canada.ON428.Types | |
Logistic Page4 Source # | |
Defined in Tax.Canada.ON428.Types | |
Traversable Page4 Source # | |
Defined in Tax.Canada.ON428.Types | |
(Show (line Centi), Show (line Rational), Show (line Word)) => Show (Page4 line) Source # | |
(Eq (line Centi), Eq (line Rational), Eq (line Word)) => Eq (Page4 line) Source # | |
data HealthPremium line Source #
HealthPremium | |
|
Instances
data HealthPremiumBracket line Source #
HealthPremiumBracket | |
|