Safe Haskell	None
Language	Haskell2010

Tax.Canada.Province.MB

Documentation

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

Instances

Instances details

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

formFileNames :: Map FormKey Text Source #

fixMB428 :: MB428 Maybe -> MB428 Maybe Source #

fixReturns :: InputForms Maybe -> Returns Maybe -> Returns Maybe Source #

mb428Fields :: MB428 FieldConst Source #

returnFields :: Returns FieldConst Source #

t1Fields :: T1 FieldConst Source #