(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t T1, Foldable t Schedule6, Foldable t Schedule7, Foldable t Schedule9, Foldable t Schedule11) => Foldable t Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
(Transformation t, Functor t T1, Functor t Schedule6, Functor t Schedule7, Functor t Schedule9, Functor t Schedule11) => Functor t Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t T1, Traversable t Schedule6, Traversable t Schedule7, Traversable t Schedule9, Traversable t Schedule11) => Traversable t Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
Applicative Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal Methods pure :: (forall (a :: k). f a) -> Forms f # |
Apply Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
Distributive Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
DistributiveTraversable Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
Foldable Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
Functor Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
Logistic Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
Traversable Forms Source # | |
Instance detailsDefined in Tax.Canada.Federal |
(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 (Forms line) Source # | |
Instance detailsDefined in Tax.Canada.Federal |
(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 (Forms line) Source # | |
Instance detailsDefined in Tax.Canada.Federal |