Polyform.Field.Generic

class SingleChoice choice  where

This type class provides basic way to transform simple sum type (constructors without args are only allowed) into: Validation and choices array which can be used in Choice record.

Members

• choiceImpl :: choice -> String
• choicesImpl :: Proxy choice -> List (Tuple String choice)

Instances

• (SingleChoice a, SingleChoice b) => SingleChoice (Sum a b)
• (IsSymbol name) => SingleChoice (Constructor name NoArguments)

choice :: forall choiceRep choice. Generic choice choiceRep => SingleChoice choiceRep => choice -> String

choices :: forall choiceRep choice. Generic choice choiceRep => SingleChoice choiceRep => Proxy choice -> List (Tuple String choice)

choiceParser :: forall m choiceRep a. Monad m => Generic a choiceRep => SingleChoice choiceRep => Proxy a -> Validation m String String a

class MultiChoice c (c' :: Row Type) | c -> c' where

Members

• multiChoiceParserImpl :: Proxy c -> Array String -> { remaining :: Array String, result :: { checkChoice :: c -> Boolean, product :: Record c' } }

  This function doesn't report invalid values (hence Unit as error type) It only marks valid ones currently...

Instances

• (IsSymbol name, Cons name Boolean () row, Lacks name ()) => MultiChoice (Constructor name NoArguments) row
• (IsSymbol name, MultiChoice tail tailRow, Cons name Boolean tailRow row, Lacks name tailRow) => MultiChoice (Sum (Constructor name NoArguments) tail) row

multiChoiceParser :: forall m row choiceRep a. Monad m => Generic a choiceRep => MultiChoice choiceRep row => Proxy a -> Validation m (Array String) (Array String) { checkChoice :: a -> Boolean, product :: Record row }