Tax.FDF

Documentation

data FieldConst a

Constructors

Field

Fields

• path :: [Text]
• entry :: Entry a

data Entry a where

Constructors

Count :: Entry Word

Date :: Entry Day

Province :: Entry Code

Textual :: Entry Text

Amount :: Entry Centi

Percent :: Entry Rational

Checkbox :: Entry Bool

RadioButton :: (Bounded a, Enum a, Eq a, Show a) => [a] -> Entry a

RadioButtons :: (Bounded a, Enum a, Eq a, Show a) => Text -> [a] -> Entry a

Switch :: Text -> Text -> Text -> Entry Bool

Switch' :: Text -> Entry Bool

Instances

Show a => Show (Entry a)

Defined in Tax.FDF

Methods

showsPrec :: Int -> Entry a -> ShowS

show :: Entry a -> String

showList :: [Entry a] -> ShowS

within :: Text -> FieldConst x -> FieldConst x

load :: (Apply form, Traversable form) => form FieldConst -> FDF -> Either String (form Maybe)

update :: (Apply form, Foldable form) => form FieldConst -> form Maybe -> FDF -> FDF

fromFieldMap :: Traversable form => form FieldConst -> Map [Text] Text -> Either String (form Maybe)

Orphan instances

MonadFail (Either String)

Methods

fail :: String -> Either String a