Polyform.Field.Generic.Option

data Nil

"Custom sum" type (heavly inspired by (or ripped from) purescript-variant internals) which allows you to easily provide options (together with order) for you Choice/Multichoice fields "without" defining dedicated type.

Instances

• Eq (Option Nil)
• (IsSymbol name, SingleChoice tail) => SingleChoice (Option (Cons name Nil))
• (IsSymbol name, RowCons name Boolean () row, RowLacks name ()) => MultiChoice (Option (Cons name Nil)) row

data Cons (s :: Symbol) tail

Instances

• (IsSymbol s) => DropOpt s (Cons s tail) tail
• (IsSymbol s, DropOpt s tail tail') => DropOpt s (Cons head tail) (Cons head tail')
• (IsSymbol n) => Elem n (Cons n tail)
• (Elem n tail, IsSymbol n) => Elem n (Cons head tail)
• (IsSymbol head, Eq (Option tail)) => Eq (Option (Cons head tail))
• (IsSymbol name, SingleChoice tail) => SingleChoice (Option (Cons name Nil))
• (IsSymbol name, SingleChoice (Option tail)) => SingleChoice (Option (Cons name tail))
• (IsSymbol name, RowCons name Boolean () row, RowLacks name ()) => MultiChoice (Option (Cons name Nil)) row
• (IsSymbol name, MultiChoice (Option tail) br, RowCons name Boolean br row, RowLacks name br) => MultiChoice (Option (Cons name tail)) row

Operator alias for Polyform.Field.Generic.Option.Cons (right-associative / precedence 8)

class DropOpt (s :: Symbol) opts opts' | s opts -> opts'

Instances

• (IsSymbol s) => DropOpt s (Cons s tail) tail
• (IsSymbol s, DropOpt s tail tail') => DropOpt s (Cons head tail) (Cons head tail')

class Elem (n :: Symbol) l 

Instances

• (IsSymbol n) => Elem n (Cons n tail)
• (Elem n tail, IsSymbol n) => Elem n (Cons head tail)

option :: forall opts opt. Elem opt opts => IsSymbol opt => SProxy opt -> Option opts

data Option :: Type -> Type

Option is our symbol list carrier

Instances

• Eq (Option Nil)
• (IsSymbol head, Eq (Option tail)) => Eq (Option (Cons head tail))
• (IsSymbol name, SingleChoice tail) => SingleChoice (Option (Cons name Nil))
• (IsSymbol name, SingleChoice (Option tail)) => SingleChoice (Option (Cons name tail))
• (IsSymbol name, RowCons name Boolean () row, RowLacks name ()) => MultiChoice (Option (Cons name Nil)) row
• (IsSymbol name, MultiChoice (Option tail) br, RowCons name Boolean br row, RowLacks name br) => MultiChoice (Option (Cons name tail)) row

pop :: forall sym opts' opts f. Alternative f => IsSymbol sym => DropOpt sym opts opts' => SProxy sym -> Option opts -> f (Option opts')

prepend :: forall sym opts. SProxy sym -> Option opts -> Option (sym :- opts)

case_ :: forall a. Option Nil -> a

on :: forall sym opts' opts a. IsSymbol sym => DropOpt sym opts opts' => SProxy sym -> a -> (Option opts' -> a) -> Option opts -> a

prj :: forall sym f opts' opts a. IsSymbol sym => DropOpt sym opts opts' => Alternative f => SProxy sym -> Option opts -> f a

choice :: forall opt. SingleChoice (Option opt) => Option opt -> String

choices :: forall opt. SingleChoice (Option opt) => Proxy opt -> List (Tuple String (Option opt))

choiceParser :: forall opt m. Monad m => SingleChoice (Option opt) => Proxy opt -> Validation m String String (Option opt)

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