Tax.Canada.Province.BC

Documentation

data BC428 line

Instances

(Transformation t, Codomain t ~ (Const m :: Type -> Type), Monoid m, Foldable t Page1, Foldable t Page2, Foldable t Page3) => Foldable t BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

foldMap :: (Codomain t ~ Const m, Monoid m) => t -> BC428 (Domain t) -> m

(Transformation t, Functor t Page1, Functor t Page2, Functor t Page3) => Functor t BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

(<$>) :: t -> BC428 (Domain t) -> BC428 (Codomain t)

(Transformation t, Codomain t ~ Compose m f, Applicative m, Traversable t Page1, Traversable t Page2, Traversable t Page3) => Traversable t BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

traverse :: forall m (f :: Type -> Type). Codomain t ~ Compose m f => t -> BC428 (Domain t) -> m (BC428 f)

Applicative BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

Apply BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

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

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

Distributive BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

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

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

DistributiveTraversable BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

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

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

Foldable BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

Functor BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

Logistic BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

Traversable BC428

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

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

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

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

showsPrec :: Int -> BC428 line -> ShowS

show :: BC428 line -> String

showList :: [BC428 line] -> ShowS

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

Defined in Tax.Canada.Province.BC.BC428.Types

Methods

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

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

bc428Fields :: BC428 FieldConst

bc479Fields :: BC479 FieldConst

fixBC428 :: BC428 Maybe -> BC428 Maybe

fixBC479 :: BC479 Maybe -> BC479 Maybe

fixReturns :: Returns Maybe -> Returns Maybe

returnFields :: Returns FieldConst

t1Fields :: T1 FieldConst