Tax.Canada

Documentation

data T1 line

Instances

Applicative T1

Defined in Tax.Canada.T1.Types

Methods

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

Apply T1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Distributive T1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

DistributiveTraversable T1

Defined in Tax.Canada.T1.Types

Methods

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

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

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

Foldable T1

Defined in Tax.Canada.T1.Types

Methods

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

Functor T1

Defined in Tax.Canada.T1.Types

Methods

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

Logistic T1

Defined in Tax.Canada.T1.Types

Methods

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

Traversable T1

Defined in Tax.Canada.T1.Types

Methods

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

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

(Show (line Bool), Show (line Centi), Show (line Word), Show (line Text), Show (line Code), Show (line Day), Show (line LanguageOfCorrespondence), Show (line MaritalStatus)) => Show (T1 line)

Defined in Tax.Canada.T1.Types

Methods

showsPrec :: Int -> T1 line -> ShowS

show :: T1 line -> String

showList :: [T1 line] -> ShowS

(Eq (line Bool), Eq (line Centi), Eq (line Word), Eq (line Text), Eq (line Code), Eq (line Day), Eq (line LanguageOfCorrespondence), Eq (line MaritalStatus)) => Eq (T1 line)

Defined in Tax.Canada.T1.Types

Methods

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

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

data ON428 line

Instances

Applicative ON428

Defined in Tax.Canada.ON428.Types

Methods

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

Apply ON428

Defined in Tax.Canada.ON428.Types

Methods

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

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

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

Distributive ON428

Defined in Tax.Canada.ON428.Types

Methods

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

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

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

DistributiveTraversable ON428

Defined in Tax.Canada.ON428.Types

Methods

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

Defined in Tax.Canada.ON428.Types

Methods

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

Functor ON428

Defined in Tax.Canada.ON428.Types

Methods

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

Logistic ON428

Defined in Tax.Canada.ON428.Types

Methods

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

Traversable ON428

Defined in Tax.Canada.ON428.Types

Methods

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

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

(Show (line Centi), Show (line Rational), Show (line Word)) => Show (ON428 line)

Defined in Tax.Canada.ON428.Types

Methods

showsPrec :: Int -> ON428 line -> ShowS

show :: ON428 line -> String

showList :: [ON428 line] -> ShowS

(Eq (line Centi), Eq (line Rational), Eq (line Word)) => Eq (ON428 line)

Defined in Tax.Canada.ON428.Types

Methods

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

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

fixOntarioReturns :: (T1 Maybe, ON428 Maybe) -> (T1 Maybe, ON428 Maybe)

fixT1 :: T1 Maybe -> T1 Maybe

fixON428 :: ON428 Maybe -> ON428 Maybe

t1Fields :: T1 FieldConst

on428Fields :: ON428 FieldConst