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 choice choiceRep. Generic choice choiceRep => SingleChoice choiceRep => choice -> String

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

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

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

Members

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

  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 a choiceRep row m. Monad m => Generic a choiceRep => MultiChoice choiceRep row => Proxy a -> Validation m (Array String) (Array String) { product :: {  | row }, checkChoice :: a -> Boolean }